syz(GroebnerBasis) -- retrieve the syzygy matrix

Synopsis

• Usage:

  syz G

• Function: syz
• Inputs:

  • G, a Groebner basis, the Groebner basis of a matrix h
• Outputs:

  • a matrix, the matrix of syzygies among the columns of h
• Optional inputs:

  • Algorithm => ...,
  • BasisElementLimit => ...,
  • ChangeMatrix => ..., -- whether to produce the change of basis matrix
  • CodimensionLimit => ..., -- stop when this codimension is reached
  • DegreeLimit => ...,
  • GBDegrees => ...,
  • HardDegreeLimit => ...,
  • Hilbert => ...,
  • PairLimit => ...,
  • StopBeforeComputation => ..., -- whether to stop the computation immediately
  • StopWithMinimalGenerators => ..., -- stop when minimal generators have been determined
  • Strategy => ..., -- specify the strategy used to compute the Groebner basis
  • SubringLimit => ...,
  • Syzygies => ...,
  • SyzygyLimit => ...,
  • SyzygyRows => ...,

Description