-- -*- M2-comint -*- {* hash: -1407979023 *} i1 : R = QQ[w,x,y,z]; i2 : I = ideal(w*x^2-42*y*z, x^6+12*w*y+x^3*z, w^2-47*x^4*z-47*x*z^2) 2 6 3 4 2 2 o2 = ideal (w*x - 42y*z, x + x z + 12w*y, - 47x z - 47x*z + w ) o2 : Ideal of R i3 : minimalPrimes I 3 o3 = {ideal (x + z, w, y), ideal (x, w, y), ideal (x, z, w)} o3 : List i4 : R = ZZ/101[w..z]; i5 : I = ideal(w*x^2-42*y*z, x^6+12*w*y+x^3*z, w^2-47*x^4*z-47*x*z^2); o5 : Ideal of R i6 : minimalPrimes I 2 4 2 2 2 2 2 3 o6 = {ideal (12w*x + y*z, - 47x z - 47x*z + w , x y*z - 12w*x*z + 11w , ------------------------------------------------------------------------ 2 2 2 3 4 6 3 43w x*z + y z - 31w , - 42x - 42x z + w*y)} o6 : List i7 :