如何实现”张量缩并“？

Question

向高手请教：

如何用math语言完成高能物理里面常见的$g^{\mu\nu} p^{\nu} = p^{\mu}$这样的缩并？

谢谢！

Comments

你的问题太过专业了，非高能物理专业的不懂哦。
先转化成数学语言，然后再用Mathematica。

---

这个”广义相对论“或者”微分几何“里面也有哦。。。用到了爱因斯坦求和约定，也就是重复指标求和。$ \sum A_{ab} v_{b} $。张量分析里面标准写法是：$ p^{\mu} = g^{\mu\nu} p_{\nu} $。

---

TensorContract，以及相关的张量系列函数（虽说这些函数我从来没看懂过。。。。。

---

谢谢哈。这个函数我浏览过，它需要指出张量的分量。我其实想要的是这种类似手推公式这种抽象的缩并。

---

自带的张量分析实在太弱了，还是用专业的软件包。目前以mathematica为基础开发的、兼顾抽象张量分析和具体分量分析的，我知道的就只是有xAct，具体可以google下。

Answer 1

我们土木也用张量的，不过要简单得多。

同样是张量，但做力学多人和做物理的人在讲张量时，那绝对就像是两种语言。

 

Comments

谢谢。我们领域也有类似的包，叫“feyncalc”。但是在我现在的linux系统下频繁死过去。。。所以想自己试着定义一个简单的包。。。发现最简单的第一步都好难。。。最后用feyncalc+form+math基本完成自己想要的。。。