Your location: List of Systems ⁄ GINV ⁄ Commutative Packages:GINV

GINV:GINV

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)	2^16
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 involutive basis w.r.t. Janet and Janet-like division	Product Criterion Chain Criterion Gebauer-Möller Criterion Other involutive versions of classical Buchberger\'s criteria Elements of Gröbner Basics Syzygies and resolutions Lift (Transformation matrix between two bases) Elimination (Krull) dimension Other Hilbert series, Hilbert polynomial, Hilbert function

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
involutive basis w.r.t. Janet and Janet-like division

Product Criterion

Chain Criterion

Gebauer-Möller Criterion

Other
involutive versions of classical Buchberger\'s criteria

Elements of Gröbner Basics

Syzygies and resolutions

Lift (Transformation matrix between two bases)

Elimination

(Krull) dimension

Other Hilbert series, Hilbert polynomial, Hilbert function

Other functionality

none

Highlights

Groebner basis, Janet basis and Janet-like bases can be computed on user\'s choice