Overview of the DifferentialAlgebra Package
DescriptionList of DifferentialAlgebra Package CommandsDescription of the DifferentialAlgebra package commands
<Text-field style="Heading 2" layout="Heading 2" bookmark="info">Description</Text-field>
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.
<Text-field style="Heading 2" layout="Heading 2" bookmark="bkmrk0">List of DifferentialAlgebra Package Commands</Text-field>BelongsToDifferentialRingEquationsGetInequationsIsNormalFormPowerSeriesSolutionReducedFormRosenfeldGroeber
<Text-field style="Heading 3" layout="Heading 3" bookmark="Tools">List of commands of the Tools subpackage of DifferentialAlgebra</Text-field>CoeffsDeltaPolynomialDifferentialPremDifferentiateDisplayFactorDerivativeFieldElementFromJetInitialLeadingCoefficientLeadingDerivativeLeadingRankPreparationEquationPretendRegularDifferentialChainRankElementSeparantSortByRankTailToJet
<Text-field style="Heading 2" layout="Heading 2" bookmark="bkmrk1">Description of the DifferentialAlgebra package commands</Text-field>
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.
<Text-field style="Heading 3" layout="Heading 3" bookmark="bkmrk2">Description of the DifferentialAlgebra:-Tools package commands </Text-field>
Coeffs extracts the coefficients of a rational differential fraction.
DeltaPolynomial returns the Delta-polynomial generated by two differential polynomials.
DifferentialPrem is an implementation of the Ritt reduction algorithm.
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.
FromJet rewrites an expression in function notation.
Initial returns the initial of a differential polynomial.
LeadingCoefficient returns the leading coefficient of a differential polynomial.
LeadingDerivative returns the leading derivative of a differential polynomial.
LeadingRank returns the leading rank of a differential polynomial.
PreparationEquation returns the preparation equation of a differential polynomial.
PretendRegularDifferentialChain constructs a regular differential chain for a given set of equations.
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.
ToJet rewrites an expression in jet notation.