gb -- compute a Groebner basis

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.

Class of returned value: GroebnerBasis -- the class of all Groebner basesWays to use gb :

gb Ideal

gb Matrix

gb Module

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