The DifferentialAlgebra package implements algebraic and differential elimination algorithms which are key for simplifying systems of polynomial differential equations and computing formal power series solutions for them. The underlying theory is the differential algebra of Joseph Fels Ritt and Ellis Robert Kolchin [R50, K73] (see References).

The main functionality of the package is provided by the RosenfeldGroebner function, which permits triangularizing a differential equation system so that it can be solved eliminating one variable at a time, simplifying the system with respect to its integrability conditions, or determining its singular cases. Commands are also provided to solve related problems, such as BelongsTo for deciding membership to a differential ideal, and ReducedForm for reducing a system with respect to another one. The command for computing formal power series solutions to differential equation systems is PowerSeriesSolution. Other commands for analyzing mathematical properties of differential systems or performing algebraic manipulation and related programming are listed below.

For examples illustrating the use of the package's commands, see the Examples section of the RosenfeldGroebner command and the DifferentialAlgebra Examples page.  

For more information about the mathematical terminology used in the help pages of this package, see the Glossary page.

The DifferentialAlgebra package is based on the Bibliotheques Lilloises d'Algebre Differentielle (BLAD) software developed by F. Boulier. The redesign of the interface of BLAD to DifferentialAlgebra was done by F. Boulier and E. S. Cheb-Terrab in Maple 14.

Each command in the DifferentialAlgebra package can be accessed by using either the long form or the short form of the command name in the command calling sequence.

BelongsTo decides membership in differential ideals.

DifferentialRing constructs a computational representation of a differential polynomial ring embedding the ranking of the dependent and independent variables.

Equations returns the equations representing the chain of a differential ideal.

Get returns varied type of information regarding mathematical objects related to a differential ring or ideal.

Inequations returns the inequations of a differential ideal, that is the initials and separants.

Is returns true or false regarding properties of differential rings and ideals.

NormalForm computes normal forms modulo regular differential chains.

PowerSeriesSolution computes formal power series solution for a PDE system.

ReducedForm computes reduced forms modulo a differential ideal.

RosenfeldGroebner returns a representation of the radical of the differential ideal generated by a system of equations as an intersection of radical differential ideals with respect to a given ranking (differential ring) and rewrites a prime differential ideal using a different ranking.

Tools is a subpackage with tool commands for performing diverse operations that constitute the main blocks of differential algebra computations.