i1 : (B,V,C) := GMtables(1,ZZ/33331) o1 = (surface in PP^5 cut out by 4 hypersurfaces of degrees 1^1 2^3 , surface ------------------------------------------------------------------------ in PP^5 cut out by 3 hypersurfaces of degrees 1^2 2^1 , curve in PP^5 ------------------------------------------------------------------------ cut out by 4 hypersurfaces of degrees 1^3 2^1 ) o1 : Sequence |
i2 : B * V == C o2 = true |
The corresponding example of fourfold can be obtained as follows.
i3 : psi = rationalMap(ideal B,Dominant=>2); o3 : RationalMap (quadratic rational map from PP^5 to 5-dimensional subvariety of PP^8) |
i4 : X = specialGushelMukaiFourfold psi ideal V; o4 : ProjectiveVariety, GM fourfold containing a surface of degree 2 and sectional genus 0 |
This is basically the same as doing this:
i5 : specialGushelMukaiFourfold("1",ZZ/33331); o5 : ProjectiveVariety, GM fourfold containing a surface of degree 2 and sectional genus 0 |
The object GMtables is a method function with options.