Overview of the DifferentialAlgebra Package - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Packages : DifferentialAlgebra

Overview of the DifferentialAlgebra Package

 

Description

List of DifferentialAlgebra Package Commands

Description of the DifferentialAlgebra package commands

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

List of DifferentialAlgebra Package Commands

BelongsTo

DifferentialRing

Equations

Get

Inequations

Is

NormalForm

PowerSeriesSolution

ReducedForm

RosenfeldGroebner

Tools

 

List of commands of the Tools subpackage of DifferentialAlgebra

Coeffs

DeltaPolynomial

DifferentialPrem

Differentiate

Display

FactorDerivative

FieldElement

FromJet

Initial

LeadingCoefficient

LeadingDerivative

LeadingRank

PreparationEquation

PretendRegularDifferentialChain

RankElement

Separant

SortByRank

Tail

ToJet

 

 

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.

• 

PowerSeriesSolution computes formal power series solution for a PDE system.

• 

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

• 

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.


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam