gb

gb f -- compute the Groebner basis for the image of a Matrix f.

If the computation is interrupted, then the partially completed Groebner basis is available as f#{t,i}, where t is true or false depending on whether syzygies or the change of basis matrix are to be computed, and i is the number of rows of the syzygy matrix to be retained. The computation can be continued by repeating the gb command with the same options.

Optional arguments and flags:

gb(DegreeLimit => ...) -- compute only up to this degree

BasisElementLimit -- stop when this number of minimal generators is obtained

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

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

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

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

Optional arguments and flags for internal use only:

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

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

gb(StopWithMinimalGenerators => ...) -- whether to produce a set of minimal generators

Syzygies -- whether to collect syzygies

SyzygyRows -- if syzygies are to be collected, the number rows of the syzygy matrix to collect