Tensor explorer · Symbolica Gallery

%23%20%2F%2F%2F%20script%0A%23%20requires-python%20%3D%20%22%3E%3D3.13%22%0A%23%20dependencies%20%3D%20%5B%0A%23%20%20%20%20%20%22marimo%3D%3D0.24.0%22%2C%0A%23%20%5D%0A%23%20%2F%2F%2F%0A%22%22%22Explore%20a%20concrete%20rank-three%20spinor%20current%20and%20its%20matrix%20slices.%22%22%22%0A%0A%23%20ruff%3A%20noqa%3A%20B018%2C%20PLR1711%20--%20marimo%20uses%20final%20expressions%20and%20explicit%20cell%20returns.%0A%0Aimport%20marimo%0A%0A__generated_with%20%3D%20%220.24.0%22%0Aapp%20%3D%20marimo.App(width%3D%22medium%22%2C%20app_title%3D%22Tensor%20explorer%22)%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%0A%20%20%20%20%23%23%20Tensor%20operations%0A%0A%20%20%20%20This%20notebook%20demonstrates%20the%20construction%20of%20tensors%2C%20operations%20you%20can%20do%20on%20them%2C%20and%20how%20to%20visualize%20the%20tensors.%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_()%3A%0A%20%20%20%20import%20marimo%20as%20mo%0A%20%20%20%20from%20symbolica%20import%20S%0A%20%20%20%20from%20symbolica.community.tensor%20import%20(%0A%20%20%20%20%20%20%20%20Representation%2C%0A%20%20%20%20%20%20%20%20TensorExpression%2C%0A%20%20%20%20%20%20%20%20TensorLibrary%2C%0A%20%20%20%20%20%20%20%20TensorName%2C%0A%20%20%20%20)%0A%0A%20%20%20%20return%20Representation%2C%20S%2C%20TensorExpression%2C%20TensorLibrary%2C%20TensorName%2C%20mo%0A%0A%0A%40app.cell%0Adef%20_(Representation%2C%20TensorExpression%2C%20TensorName)%3A%0A%20%20%20%20spinor%20%3D%20Representation.bis(4)%0A%20%20%20%20Jbar%20%3D%20TensorName(%22Jbar%22%2C%20print%3D%7B%22typst%22%3A%20%22macron(J)%22%2C%20%22latex%22%3A%20r%22%5Cbar%7BJ%7D%22%7D)(spinor)%0A%20%20%20%20J%20%3D%20TensorName(%22J%22)(spinor)%0A%20%20%20%20gamma%20%3D%20TensorExpression.dirac_gamma(4)%0A%20%20%20%20current%20%3D%20Jbar(1)%20*%20gamma(1%2C%202%2C%201)%20*%20gamma(2%2C%203%2C%202)%20*%20gamma(3%2C%204%2C%203)%20%0A%20%20%20%20current%0A%20%20%20%20return%20(current%2C)%0A%0A%0A%40app.cell%0Adef%20_(TensorLibrary%2C%20current)%3A%0A%20%20%20%20current.to_network(library%3DTensorLibrary.hep_lib_atom())%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(TensorLibrary%2C%20current)%3A%0A%20%20%20%20library%20%3D%20TensorLibrary.hep_lib_atom()%0A%20%20%20%20network%20%3D%20current.to_network(library%3Dlibrary)%0A%20%20%20%20network.execute(library%3Dlibrary)%0A%20%20%20%20kernel%20%3D%20network.result_tensor(library%3Dlibrary)%0A%20%20%20%20kernel%0A%20%20%20%20return%20kernel%2C%20library%0A%0A%0A%40app.cell%0Adef%20_(library)%3A%0A%20%20%20%20library%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(Representation%2C%20mo)%3A%0A%20%20%20%20_lorentz%20%3D%20Representation.mink(4)%0A%20%20%20%20mo.hstack(%0A%20%20%20%20%20%20%20%20%5Bmo.as_html(_lorentz.name)%2C%20mo.as_html(_lorentz)%2C%20mo.as_html(_lorentz(1))%5D%2C%0A%20%20%20%20%20%20%20%20justify%3D%22start%22%2C%0A%20%20%20%20%20%20%20%20align%3D%22start%22%2C%0A%20%20%20%20%20%20%20%20gap%3D2%2C%0A%20%20%20%20%20%20%20%20wrap%3DTrue%2C%0A%20%20%20%20)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(TensorExpression)%3A%0A%20%20%20%20TensorExpression.dirac_gamma(4)(1%2C%202%2C%201)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(Representation%2C%20S%2C%20TensorName)%3A%0A%20%20%20%20TensorName(%22explorer%3A%3AA%22)(%0A%20%20%20%20%20%20%20%20S(%22x%22)%2C%207%2C%20Representation.mink(4)(1)%2C%20Representation.bis(4)%0A%20%20%20%20).structure%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(kernel)%3A%0A%20%20%20%20kernel.structure%0A%20%20%20%20return%0A%0A%0Aif%20__name__%20%3D%3D%20%22__main__%22%3A%0A%20%20%20%20app.run()%0A