Difference between revisions of "CoCoA:SyzOfGens"
From ApCoCoAWiki
(pushing XML rev. 1.46, again) |
(No difference)
|
Latest revision as of 10:02, 24 October 2007
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
<type>groebner</type> <type>groebner-basic</type> <type>ideal</type> <type>module</type> <type>quotient</type>