SyzOfGens -- syzygy module for a given set of generators |
Syntax |
SyzOfGens(M: IDEAL|MODULE): MODULE |
Description |
Example |
/**/ use R ::= QQ[x,y,z]; /**/ I := ideal(x, y, x+y); /**/ indent(SyzOfGens(I)); SubmoduleRows(F, matrix([ [1, 1, -1], [0, x +y, -y] ])) /**/ R3 := NewFreeModule(R, 3); /**/ MGens := matrix(R,[[x,y,z], [x-y,0,z], [y^2,y^2,0]]); /**/ indent(SyzOfGens(SubmoduleRows(R3, MGens))); SubmoduleRows(F, matrix([ [y, -y, -1] ])) |
See Also |