gb Module -- compute a Groebner basis

gb Module -- compute a Groebner basis

Synopsis:

Function: gb -- compute a Groebner basis

Input:

an instance of class Module.

Output:

an instance of class GroebnerBasis.

Optional arguments :

gb(..., BasisElementLimit) -- stop when this number of basis elements is obtained

gb(..., ChangeMatrix => ...) -- whether to produce the change of basis matrix

gb(..., CodimensionLimit => ...) -- stop when this codimension is reached

gb(..., DegreeLimit => ...) -- compute up to a certain degree

gb(..., PairLimit => ...) -- stop when this number of pairs is handled

gb(..., StopBeforeComputation => ...) -- whether to stop the computation immediately

gb(..., StopWithMinimalGenerators => ...) -- stop when minimal generators have been determined

gb(..., Strategy => ...) -- specify the strategy used to compute Groebner bases

gb(..., SubringLimit) -- stop after finding enough elements of a subring

gb(..., Syzygies) -- whether to collect syzygies

gb(..., SyzygyLimit => ...) -- stop when this number of syzygies is obtained

gb(..., SyzygyRows) -- the number rows of the syzygy matrix to collect