i1 : S = ZZ/32003[x,y,z]; |
i2 : I = ideal(x^4-4*x*y*z^2-z^4-y^4); o2 : Ideal of S |
i3 : R = S/I; |
i4 : X = variety I o4 = X o4 : ProjectiveVariety |
i5 : degree X o5 = 4 |
i6 : degree X == degree I o6 = true |
i7 : degree X == degree R o7 = true |