CoCoA:SyzOfGens

From ApCoCoAWiki

SyzOfGens

syzygy module for a given set of generators

Description

If M is an ideal or module, this function calculates the syzygy

module for the given set of generators of M. If M is a quotient of

a ring by an ideal I or a quotient of a free module by a submodule N, then this function calculates the syzygy module for the given set of generators of I or N, respectively.

The coefficient ring must be a field.

Example

  Use R ::= Q[x,y];
  I := Ideal(x,y,x+y);
  SyzOfGens(I);
Module([1, 1, -1], [y, -x, 0])
-------------------------------

Syntax

SyzOfGens(M:IDEAL, MODULE, or TAGGED(<quotes>Quotient</quotes>)):MODULE

Syz

SyzMinGens

   <type>groebner</type>
   <type>groebner-basic</type>
   <type>ideal</type>
   <type>module</type>
   <type>quotient</type>