syz GroebnerBasis -- retrieve the syzygy matrix

syz GroebnerBasis -- retrieve the syzygy matrix

Synopsis:

Usage: f = syz G

Function: syz -- the syzygy matrix

Input:

G, an instance of class GroebnerBasis: the Groebner basis of a matrix h

Output:

f, an instance of class Matrix: the matrix of syzygies among the columns of h

Optional arguments :

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

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

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

syz(..., DegreeLimit) -- compute up to a certain degree

syz(..., PairLimit) -- stop when this number of pairs is handled

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

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

syz(..., Strategy => ...) -- specify the strategy used to compute the Groebner basis

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

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

syz(..., SyzygyLimit) -- stop when this number of syzygies is obtained

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

Warning: the result may be zero if syzygies were not to be retained during the calculation, or if the computation was not continued to a high enough degree.

Code:

     -- ../../../Macaulay2/m2/gb.m2:193-195
     syz GroebnerBasis := Matrix => options -> (g) -> (
          sendgg(ggPush g, gggetsyz);
          getMatrix ring g )