Differential Geometry

For Maple 17, the DifferentialGeometry package contains over 40 new commands or commands with enhanced functionality or improved efficiency.

 • 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.

ExteriorDifferentialSystems

 • 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.

Library

 • 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.

LieAlgebras

 • 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 ${g}_{2}$ and ${f}_{4}$.
 • A command for finding the split and compact forms of a complex semi-simple Lie algebra is now available.
 • The functionality of the CartanDecomposition and CartanInvolution commands has been extended to abstract semi-simple Lie algebras.
 • The new commandChevalleyBasis calculates the Chevalley basis of a semi-simple Lie algebra.
 • The Derivations command has been rewritten to give significant improvements in efficiency. The command can now also compute the derivations of a general algebra.
 • New functionality has been added for creating representations of Lie algebras. The commands Adjoint and StandardRepresentation now accept a new keyword argument "representationspace", which can be used to create representations.  The new command RestrictedRepresentation calculates the restriction of a representation to a subalgebra. The names of the two commands ChangeBasis and TensorProduct have been changed to ChangeRepresentationBasis and TensorProductOfRepresentations.
 • The Codifferential command has been added to calculat