Overview of the DifferentialAlgebra Package

Description


•

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



List of DifferentialAlgebra Package Commands



List of commands of the Tools subpackage of DifferentialAlgebra





Description of the DifferentialAlgebra package commands


•

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 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 idea, 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.

•

ReducedForm computes reduced forms modulo a differential ideal.

•

References contains references to the algorithms and theory behind the DifferentialAlgebra package.

•

RosenfeldGroebner returns a representation of the radical of the differential ideal generated by eqns, 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 subpackage with tool commands for performing diverse operations that constitute the main blocks of differential algebra computations.


Description of the DifferentialAlgebra[Tools] package commands


•

DeltaPolynomial returns the Deltapolynomial generated by two differential polynomials.

•

Differentiate differentiates differential polynomial or rational fractions using different notations (jet, function, etc.).

•

Display displays the relevant information related to a given differential ring.

•

FactorDerivative extracts the derivation operator (product of differentiation variables) of a derivative.

•

FieldElement decides membership in differential base fields.

•

Initial returns the initial of a differential polynomial.

•

LeadingRank returns the leading rank of a differential polynomial.

•

RankElement returns the element of minimal or maximal rank in a list.

•

Separant returns the separant of a differential polynomial.

•

SortByRank sorts a list of differential polynomials.

•

Tail returns the tail of a differential polynomial.




Download Help Document
Was this information helpful?