specialGushelMukaiFourfold S
specialGushelMukaiFourfold (S%Y)
i1 : Y = GG(ZZ/33331,1,4); o1 : ProjectiveVariety, GG(1,4)
i2 : -- cubic scroll in G(1,4) S = schubertCycle({2,0},Y) * schubertCycle({1,0},Y) * schubertCycle({1,0},Y); o2 : ProjectiveVariety, surface in PP^9 (subvariety of codimension 4 in Y)
i3 : X = specialGushelMukaiFourfold S; o3 : ProjectiveVariety, GM fourfold containing a surface of degree 3 and sectional genus 0
i4 : discriminant X o4 = 12