Macaulay2 » Documentation
Packages » Macaulay2Doc » commutative algebra » Gröbner bases
next | previous | forward | backward | up | index | toc

Gröbner bases

A Gröbner basis is a specific generating set for an ideal or submodule, often used to compute other information, such as numerical invariants, operations such as intersections and ideal quotients, syzygies, etc. In Macaulay2, Gröbner bases are computed behind the scenes when needed, and the Gröbner basis is cached in case it is needed later.

See GroebnerBasis for additional common operations and a comprehensive list of all routines in Macaulay2 which either take Gröbner bases as arguments, or return one.

In Macaulay2, Gröbner bases may be computed for ideals and submodules over the following rings: Gröbner bases of ideals in polynomial rings over other polynomial rings are also allowed.

Menu


The source of this document is in Macaulay2Doc/ov_groebner_bases.m2:38:0.