Compute the exterior derivative of a completely anti-symmetric covariant tensor.
covariant anti-symmetric tensor or scalar
list of coordinate variable names
Important: The tensor package has been deprecated. Use the superseding commands DifferentialGeometry[ExteriorDerivative] and Physics[ExteriorDerivative] instead.
The function exterior_diff( T, coord ) computes the exterior derivative of the (covariant) components of the anti-symmetric tensor T and returns them as a tensor_type of rank equal to rank⁡T+1. The result is totally anti-symmetric and uses the antisymmetric indexing function (unless T is a scalar).
If T is not a scalar or vector, it should be indexed using the antisymmetric indexing function. If it is not indexed using the antisymmetric indexing function and it is not a scalar or vector, then the routine will determine its anti-symmetric part and compare that with the tensor to see if the components are really totally anti-symmetric. If it is found not to be completely anti-symmetric, the routine exits with an error.
The result is computed first by finding the first partials of the tensor components and then antisymmetrizing them.
Simplification: This routine uses the `tensor/lin_com/simp` and `tensor/partial_diff/simp` routines for simplification purposes. The simplification routines are used internally by the partial_diff and antisymmetrize routines as they are called by exterior_diff. By default, `tensor/lin_com/simp` and `tensor/partial_diff/simp` are initialized to the `tensor/simp` routine. It is recommended that these routines be customized to suit the needs of the particular problem.
This command is part of the tensor package, so it can be used in the form exterior_diff(..) only after executing the command with(tensor). However, it can always be accessed through the long from of the command by using tensor[exterior_diff](..).
Important: The tensor package has been deprecated. Use the superseding packages DifferentialGeometry and Physics instead.
Define the coordinates and an arbitrary skew-symmetric second rank tensor:
coord ≔ x,y,z:
tc ≔ array⁡antisymmetric,1..3,1..3:
forito3doforjfromi+1to3dotci,j ≔ cat⁡'t',i,j⁡x,y,zend doend do;T ≔ create⁡−1,−1,eval⁡tc
Now compute the exterior derivative:
ex_der ≔ exterior_diff⁡T,coord
Note that the result uses antisymmetric indexing:
Download Help Document