The functionality of the command DGsetup has been extended to create a new computational environment for working with abstract differential forms, that is, differential forms which are defined without reference to any underlying system of coordinates.  Structure equations for the abstract differential forms can be included in the new calling sequences for DGsetup. The capabilities of other commands in the DifferentialGeometry package, notably DGinfo, ExteriorDerivative, Hook and LieDerivative, have been extended to work with abstract differential forms.  These capabilities extend those available in the difforms package.  For an introduction to this new functionality in DifferentialGeometry, see Working with Abstract Forms.

The Library sub-package contains a new command MetricSearch which provides a simple method for searching the DifferentialGeometry database of  solutions to the Einstein equations.

The Tensor sub-package contains 4 new commands for analyzing the geometric properties of space-times.  

 The commands RainichConditions and RainichElectromagneticField can be used to determine if a given space-time is an electro-vac space-time and to find the electromagnetic field for that space-time.  

Line congruences play a distinguished role in the study of space-times and the properties of such congruences can now be easily calculated with the command CongruenceProperties.

The signature of a metric can now be computed with QuadraticFormSignature.  This procedure uses a simple algorithm which does not require eigenvalue computation and works well with the Maple assuming feature.

For General Relativity students and researchers new to Maple, see Overview of General Relativity in DifferentialGeometry.

The sub-package LieAlgebras:-LieAlgebraCohomology has been deprecated and the 3 commands in that package [Cohomology, CohomologyDecomposition, RelativeChains] have been integrated directly into the LieAlgebras package.

The sub-package LieAlgebras:-LieAlgebraRepresentations has been deprecated and the 11 commands in that package [ApplyRepresentation, AscendingIdealsBasis, ChangeBasis, DirectSum, Invariants, QuotientRepresentation, Representation, RepresentationEigenvector, SolvableRepresentation, SubRepresentation, TensorProduct] have been integrated directly into the LieAlgebras package.

Twenty-four new commands have been added to the LieAlgebra package for working with simple (and semi-simple) Lie algebras. The DifferentialGeometry software now contains the commands for the complete analysis of the structure theory for any semi-simple Lie algebra (defined perhaps as a matrix algebra, a Lie algebra of symmetries of a differential equation, the isometries of a metric, the automorphisms of a Lie algebra, etc).

The command SimpleLieAlgebraData can be used define the structure equations for any of the classical real simple Lie algebras $\mathrm{sl}\left(n\right)\, \mathrm{su}\left(p\, q\right)$, ${\mathrm{su}}^{\*}\left(n\right)\, \mathrm{so}\left(p\, q\right)$$\, {\mathrm{so}}^{\*}\left(n\right)\, \mathrm{sp}\left(n\, \mathrm{ℝ}\right)$, $\mathrm{sp}\left(p\, q\right)$$\, \mathrm{sp}\left(n\right)$. There are three companion procedures to SimpleLieAlgebraData. The procedure StandardRepresentation gives a basis for the standard representation of these Lie algebras as matrices. The procedure  SimpleLieAlgebraProperties returns a table of properties for any one of these simple Lie algebras - these properties include Cartan subalgebra, root space decomposition, simple roots, positive roots, Cartan decomposition, etc. The command MatrixSubalgebra is used to create subalgebras of these classic matrix algebras.

 The command CartanSubalgebra finds a Cartan subalgebra for any given Lie algebra.

The command RootSpaceDecomposition uses the Cartan subalgebra to produce a table which gives the root space decomposition of the Lie algebra. The roots can be extracted from the table with LieAlgebraRoots. The compact roots (purely imaginary) are found with CompactRoots. The root space decomposition is performed assuming that the Lie algebra is defined over the complex numbers. A real root space decomposition is obtained from RestrictedRootSpaceDecomposition.

 The command PositiveRoots will determine a set of positive roots from the root space decomposition. The command SimpleRoots finds the basis of simple roots from the positive roots.

 The Cartan matrix is found from the simple roots and the root space decomposition with CartanMatrix. The command CartanMatrixToStandardForm produces a re-ordering of the simple roots which transforms the Cartan matrix to standard form and identifies the complex type of the Lie algebra as "A", "B", "C",  "D", "E", or "F". The command SatakeAssociate can be used to determine the real type of a given simple Lie algebra.

The commands CartanDecomposition and CartanInvolution are available for semi-simple Lie algebras with a given matrix representation.

The root space decomposition can be used to create gradings of a semi-simple Lie algebra or to find parabolic subalgebras.

The signature of the Killing form can be computed with the KillingForm and QuadraticFormSignature commands.

The Dynkin and Satake diagrams for a simple Lie algebra can be plotted with the commands DynkinDiagram and SatakeDiagram.

 The LieAlgebra Query command now supports keyword arguments "CartanDecomposition", "CartanInvolution", "CartanSubalgebra", "MatrixAlgebra", "NilRepresentation", "ParabolicSubalgebra", "RegularElement", "RootSpaceDecomposition", "SolvableRepresentation".