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