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: |