For Maple 17, the DifferentialGeometry package contains over 40 new commands or commands with enhanced functionality or improved efficiency.
Updates to the DifferentialGeometry package:
DGsetup has a new keyword argument for declaring certain coordinates to be complex.
The new command DGconjugate calculates the complex conjugate of a vector, tensor or differential form, quaternion or octonion.
The new commands DGRe and DGIm calculate the real and imaginary parts of a vector, tensor, differential form, quaternion or octonion.
The new commands DGsolve, DGNullSpace and DGImageSpace provide useful utilities for solving equations whose unknowns are tensors or differential forms.
The new command `&algmult` computes non-commutative multiplication in general algebras.
A new geometric type, "multivector", has been created. This significantly improves computational efficiency when working with contravariant skew-symmetric tensors. The commands convert, Hook, RaiseLowerIndices, and LieDerivative have been extended to accept multi-vector arguments.
This is a new package for the study of differential systems.
The first release of this package contains 5 commands. These commands calculate the Cauchy characteristics, derived flags, first integrals, integral manifolds, and infinitesimal symmetries of Pfaffian differential systems.
Over 100 new metrics have been added to the database of solutions to the Einstein equations.
A command line version of the MetricSearch maplet is now available.
The Lie algebra package is being extended to work with more general algebras. The new AlgebraData and AlgebraLibraryData commands creates the multiplication structures for quaternions, octonions, Jordan algebras and Clifford algebras.The commands AlgebraNorm and AlgebraInverse calculate the norms and inverses of quaternions and octonions.
The command LieAlgebraData has been re-written to give massive improvements in efficiency for calculating the structure equations for matrix algebras. The command also has a new calling sequence for working with graded Lie algebras.
The functionality of the SimpleLieAlgebraData command has been extended to include the exceptional Lie algebras