DA.Class
|
Returns the class of a given derivative.
|
DA.DiffAutoReduce
|
Computes a reduced list of differential polynomials.
|
DA.Differentiate
|
Computes the derivation of a differential polynomial.
|
DA.DiffGB
|
Computes a differential Groebner basis.
|
DA.DiffOrd
|
Computes the differential order of a differential polynomial.
|
DA.DiffReduce
|
Computes a differential normal form of a differential polynomial wrt. a list of differential polynomials.
|
DA.DiffSupp
|
Computes the differential support of a differential polynomial.
|
DA.DiffTO
|
Matrix corresponding to predefined differential term orderings.
|
DA.Initial
|
Computes the initial of a differential polynomial.
|
DA.InitialOfDer
|
Computes the initial wrt. a given derivative.
|
DA.LD
|
Computes the leading derivative of a differential polynomial.
|
DA.LPot
|
Computes the leading power of a differential polynomial.
|
DA.NthDerivation
|
Computes the N-th derivation of a differential polynomial.
|
DA.PseudoAutoReduce
|
Computes a pseudo reduced list of differential polynomials.
|
DA.PseudoReduce
|
Computes a pseudo normal form of a differential polynomial.
|
DA.Sep
|
Computes the separand of a differential polynomial.
|
DA.Weight
|
Computes the weight of a differential polynomial.
|