A permutation symbol is a tensor density which is fully skew-symmetric and whose component values are +1 or -1. The rank of the permutation symbol is the dimension of the manifold $M$, or the base or fiber dimension of a vector bundle $E\to M$. The covariant permutation symbol is a tensor density of weight -1 while the contravariant permutation symbol is a tensor density of weight +1.

The command PermutionSymbol(indexType) returns the permutation symbol of the type specified by indexType in the current frame unless the frame is explicitly specified.

This command is part of the DifferentialGeometry:-Tensor package, and so can be used in the form PermutationSymbol(...) only after executing the command with(DifferentialGeometry) and with(Tensor) in that order.  It can always be used in the long form DifferentialGeometry:-Tensor:-PermutationSymbol.

$\mathrm{with}\left(\mathrm{DifferentialGeometry}\right)\:$$\mathrm{with}\left(\mathrm{Tensor}\right)\:$

$\mathrm{DGsetup}\left(\left[x\,y\right]\,M\right)$

$\mathrm{frame\; name:\; M}$

$\mathrm{P1}≔\mathrm{PermutationSymbol}\left(''cov\_bas''\right)$

$\mathrm{P1}:=\mathrm{dx}\mathrm{dy}-\mathrm{dy}\mathrm{dx}$

$\mathrm{Tools}:-\mathrm{DGinfo}\left(\mathrm{P1}\,''TensorType''\right)$

$\left[\left[''cov\_bas''\,''cov\_bas''\right]\,\left[\left[''bas''\,-1\right]\right]\right]$

$\mathrm{P2}≔\mathrm{PermutationSymbol}\left(''con\_bas''\right)$

$\mathrm{P2}:=\mathrm{D\_x}\mathrm{D\_y}-\mathrm{D\_y}\mathrm{D\_x}$

$\mathrm{Tools}:-\mathrm{DGinfo}\left(\mathrm{P2}\,''TensorType''\right)$

$\left[\left[''con\_bas''\,''con\_bas''\right]\,\left[\left[''bas''\,1\right]\right]\right]$

$\mathrm{DGsetup}\left(\left[x\,y\,z\right]\,\left[u\,v\right]\,E\right)$

$\mathrm{frame\; name:\; E}$

$\mathrm{P1}≔\mathrm{PermutationSymbol}\left(''cov\_bas''\right)$

$\mathrm{P1}:=\mathrm{dx}\mathrm{dy}\mathrm{dz}-\mathrm{dx}\mathrm{dz}\mathrm{dy}-\mathrm{dy}\mathrm{dx}\mathrm{dz}+\mathrm{dy}\mathrm{dz}\mathrm{dx}+\mathrm{dz}\mathrm{dx}\mathrm{dy}-\mathrm{dz}\mathrm{dy}\mathrm{dx}$

$\mathrm{Tools}:-\mathrm{DGinfo}\left(\mathrm{P1}\,''TensorType''\right)$

$\left[\left[''cov\_bas''\,''cov\_bas''\,''cov\_bas''\right]\,\left[\left[''bas''\,-1\right]\right]\right]$

$\mathrm{P2}≔\mathrm{PermutationSymbol}\left(''con\_bas''\right)$

$\mathrm{P2}:=\mathrm{D\_x}\mathrm{D\_y}\mathrm{D\_z}-\mathrm{D\_x}\mathrm{D\_z}\mathrm{D\_y}-\mathrm{D\_y}\mathrm{D\_x}\mathrm{D\_z}+\mathrm{D\_y}\mathrm{D\_z}\mathrm{D\_x}+\mathrm{D\_z}\mathrm{D\_x}\mathrm{D\_y}-\mathrm{D\_z}\mathrm{D\_y}\mathrm{D\_x}$

$\mathrm{Tools}:-\mathrm{DGinfo}\left(\mathrm{P2}\,''TensorType''\right)$

$\left[\left[''con\_bas''\,''con\_bas''\,''con\_bas''\right]\,\left[\left[''bas''\,1\right]\right]\right]$

$\mathrm{P3}≔\mathrm{PermutationSymbol}\left(''cov\_vrt''\right)$

$\mathrm{P3}:=\mathrm{du}\mathrm{dv}-\mathrm{dv}\mathrm{du}$

$\mathrm{Tools}:-\mathrm{DGinfo}\left(\mathrm{P3}\,''TensorType''\right)$

$\left[\left[''cov\_vrt''\,''cov\_vrt''\right]\,\left[\left[''vrt''\,-1\right]\right]\right]$

$\mathrm{P4}≔\mathrm{PermutationSymbol}\left(''con\_vrt''\right)$

$\mathrm{P4}:=\mathrm{D\_u}\mathrm{D\_v}-\mathrm{D\_v}\mathrm{D\_u}$

$\mathrm{Tools}:-\mathrm{DGinfo}\left(\mathrm{P4}\,''TensorType''\right)$

$\left[\left[''con\_vrt''\,''con\_vrt''\right]\,\left[\left[''vrt''\,1\right]\right]\right]$