Res |
Syntax |
Res(M):TAGGED("$gb.Res") where M is of type IDEAL or MODULE or TAGGED("Quotient"). |
Description |
Example |
Use R ::= QQ[x,y,z]; I := Ideal(x,y,z^2); Res(R/I); 0 --> R(-4) --> R(-2)(+)R^2(-3) --> R^2(-1)(+)R(-2) --> R ------------------------------- Describe It; Mat([ [y, x, z^2] ]) Mat([ [x, z^2, 0], [-y, 0, z^2], [0, -y, -x] ]) Mat([ [z^2], [-x], [y] ]) ------------------------------- |
See Also |