syz -- the syzygy matrix

syz -- the syzygy matrix

Ways to use syz :

syz GroebnerBasis -- retrieve the syzygy matrix

syz Matrix -- compute the syzygy matrix

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