Is there any command to work with the Levici vita tensor? In fact, I found LeviCivitaTensor
, however, in calculations it doesn't seem practical.
see the example:
DefManifold[M, 4, {\[Alpha], \[Beta], \[Sigma], \[Delta], \[Iota], \
\[Mu], \[Omicron], \[FinalSigma], \[Tau], \[Upsilon], \[Chi], \
\[Omega], \[Nu], \[Rho], \[Gamma]}]
DefMetric[-1, \[ScriptG][-\[Alpha], -\[Beta]], CD,
SymbolOfCovD -> {";", "\[Del]"}]
PrintAs[RiemannCD] ^= "R";
PrintAs[RicciCD] ^= "R";
PrintAs[RicciScalarCD] ^= "R";
PrintAs[EinsteinCD] ^= "G";
Now, for the Riemann tensor one can see
LeviCivitaTensor[\[Alpha], \[Beta]] RiemannCD[-\[Alpha], -\[Beta], -\
\[Gamma], -\[Delta]] // FullSimplification[]
leads to error
ToCanonical::noident: Unknown expression not canonicalized: LeviCivitaTensor[\[Alpha],\[Beta]] .
Hold[Throw[
xAct`xTensor`ERROR[
LeviCivitaTensor[\[Alpha], \[Beta]]]]]
What is the error?!