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:

Compute -- whether to start the computation

DegreeLimit -- compute only up to this degree

GeneratorLimit -- stop when this number of generators are obtained

SyzygyLimit -- stop when this number of syzygies are obtained

PairLimit -- stop when this number of pairs are handled

CodimensionLimit -- stop when this codimension is reached

Minimal -- whether to produce a set of minimal generators

NextExponentSize -- the number of bits to use for each exponent the next time expansion occurs.

Syzygies -- whether to collect syzygies

ChangeMatrix -- whether to produce the change of basis matrix

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

Strategy -- change the strategy used to compute Groebner bases