i1 : X = PP_(ZZ/65521)[2,1]; o1 : ProjectiveVariety, surface in PP^4 |
i2 : tangentialChowForm(X,1) o2 = 5-dimensional subvariety of PP^9 cut out by 6 hypersurfaces of degrees 4^1 2^5 o2 : ProjectiveVariety, subvariety of codimension 1 in GG(2,4) |
i3 : Grass oo o3 = GG(2,4) ⊂ PP^9 o3 : ProjectiveVariety, GG(2,4) |