-- -*- M2-comint -*- {* hash: -1612200904 *} i1 : R = ZZ/32003[a..d]; i2 : I = ideal(a^3-b, a^4-c) 3 4 o2 = ideal (a - b, a - c) o2 : Ideal of R i3 : Ih = homogenize(I,d) 3 2 4 3 o3 = ideal (a - b*d , a - c*d ) o3 : Ideal of R i4 : saturate(Ih,d) 2 2 3 2 3 2 o4 = ideal (a*b - c*d, a c - b d, b - a*c , a - b*d ) o4 : Ideal of R i5 : m = ideal vars R o5 = ideal (a, b, c, d) o5 : Ideal of R i6 : M = R^1 / (a * m^2) o6 = cokernel | a3 a2b a2c a2d ab2 abc abd ac2 acd ad2 | 1 o6 : R-module, quotient of R i7 : M / saturate 0_M o7 = cokernel | a a3 a2b a2c a2d ab2 abc abd ac2 acd ad2 | 1 o7 : R-module, quotient of R i8 :