i1 : R = ZZ[x,y,z]; |
i2 : M = R^1/(x,y,z); |
i3 : N = R^1/(x^2,y^2,x*y*z,z^2); |
i4 : g = map(N,M,x*y); o4 : Matrix |
i5 : source g o5 = cokernel | x y z | 1 o5 : R-module, quotient of R |