previous  next
SyzOfGens
Syntax
SyzOfGens(M:IDEAL, MODULE, or TAGGED("Quotient")):MODULE
Summary
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
the current 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])
-------------------------------
See also: