-- -*- M2-comint -*- hash: 10999014797482644169

i1 : K = ZZ/65521;

i2 : X = (linearSpan {point PP_K^4,point PP_K^4}) + (point PP_K^4);

o2 : ProjectiveVariety, curve in PP^4

i3 : top X

o3 = curve in PP^4 cut out by 3 hypersurfaces of degree 1

o3 : ProjectiveVariety, curve in PP^4

i4 : assert(top top X === top X)

i5 : 
