i1 : R = ZZ/101[w,x,y,z]; |
i2 : ideal{x^2-w*y, x*y-w*z, x*z-y^2} 2 2 o2 = ideal (x - w*y, x*y - w*z, - y + x*z) o2 : Ideal of R |
i3 : ideal(y^2-x*z,x^2*y-z^2,x^3-y*z) 2 2 2 3 o3 = ideal (y - x*z, x y - z , x - y*z) o3 : Ideal of R |
i4 : E = ZZ/2[x,y, SkewCommutative => true]; |
i5 : ideal(x^2,x*y) o5 = ideal (0, x*y) o5 : Ideal of E |
i6 : W = QQ[x,dx, WeylAlgebra => {x => dx}]; |
i7 : ideal(dx*x+x*dx) o7 = ideal(2x*dx + 1) o7 : Ideal of W |
i8 : I = ideal(12,18) o8 = ideal (12, 18) o8 : Ideal of ZZ |
i9 : mingens I o9 = | 6 | 1 1 o9 : Matrix ZZ <--- ZZ |