-- -*- M2-comint -*- hash: 10565030242654643277

i1 : K = ZZ/33331;

i2 : L = linearSpan {point PP_K^4,point PP_K^4}; -- a line in P^4

o2 : ProjectiveVariety, curve in PP^4

i3 : p := Fano L

o3 = point of coordinates [12627, 14941, 11188, -4847, 15437, 16492, 13501, 8759, 6817, 1]

o3 : ProjectiveVariety, a point in PP^9 (subvariety of codimension 6 in GG(1,4) ⊂ PP^9)

i4 : Fano p

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

o4 : ProjectiveVariety, curve in PP^4

i5 : assert(Fano p == L)

i6 : G = GG_K(1,4);

o6 : ProjectiveVariety, GG(1,4)

i7 : Y := (G * random({{1},{1},{1},{1},{1}},0_G)) % G -- an elliptic curve

o7 = curve in PP^9 cut out by 10 hypersurfaces of degrees 1^5 2^5 

o7 : ProjectiveVariety, curve in PP^9 (subvariety of codimension 5 in G)

i8 : W = Fano Y; -- surface swept out by the lines of Y

o8 : ProjectiveVariety, surface in PP^4

i9 : Fano(1,W) -- variety of lines contained in W

o9 = curve in PP^9 cut out by 10 hypersurfaces of degrees 1^5 2^5 

o9 : ProjectiveVariety, curve in PP^9 (subvariety of codimension 5 in G)

i10 : assert(oo == Y)

i11 : 
