Egison
Egisonはアインシュタインの縮約記法を含むテンソルの添字表記法をサポートしている。
上添字は~、下添字は_を使ってプログラム上で表現される。
例えば、リーマン曲率テンソルの公式を以下のようにプログラムとしてそのまま記述できる。
R i j k l = ∂ Γ i l j ∂ x k − ∂ Γ i k j ∂ x l + Γ i k m Γ m l j − Γ i l m Γ m k j {\displaystyle R^{i}{}_{jkl}={\frac {\partial \Gamma ^{i}{}_{lj}}{\partial x^{k}}}-{\frac {\partial \Gamma ^{i}{}_{kj}}{\partial x^{l}}}+\Gamma ^{i}{}_{km}\Gamma ^{m}{}_{lj}-\Gamma ^{i}{}_{lm}\Gamma ^{m}{}_{kj}}