-- -*- M2-comint -*- {* hash: -1437613313 *}

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

i8 :