top X
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)