Your location: List of Systems ⁄ Maple ⁄ Commutative Packages:diffalg

Maple:diffalg

System Name Maple
Package Name diffalg
Link http://www-sop.inria.fr/cafe/Evelyne.Hubert/diffalg/
Modified by F. Boulier, E. Hubert
Email
incomplete information or not officially approved by the authors

Coefficient Domains
Rings as Coefficients Z
Z[x]
Other Rings
Floating Point Numbers (up to precision, if limited)
Basic Exact Fields Q
Z/pZ
Maximal value for prime p (if limited) Unlimited
Extension Fields simple algebraic extensions
algebraic extensions
transcendental extensions
Other Fields

Monomial Orderings
classical well-orderings (Lex, DegLex, DegRevLex)
weighted well-orderings (WDegLex, WDegRevLex)
product (block) orderings
matrix-defined orderings
extra weight (elimination) orderings
local orderings
Other Ordering

Functionality Criteria

Ideals
Submodules of free modules

Gröbner Basis
Standard Basis

FGLM
Gröbner Walk/Fractal Walk

Hilbert-driven Gröbner Basis
Factorizing Gröbner Basis

Faugère F4
Faugère F5

Heuristic Command based on "BestChoice"

Other variants of the algorithm, computing Gröbner Bases
none

Product Criterion

Chain Criterion

Gebauer-Möller Criterion

Other

Elements of Gröbner Basics

Syzygies and resolutions

Lift (Transformation matrix between two bases)

Elimination

(Krull) dimension

Other none

Other functionality
Non linear differential systems

Highlights
Treats completion and elimination for nonlinear differential systems (ordinary or partial differential equations)