i1 : X = fanoFourfold(4,1); o1 : ProjectiveVariety, 4-dimensional subvariety of PP^6 |
i2 : describe X o2 = ambient:.............. PP^6 dim:.................. 4 codim:................ 2 degree:............... 4 generators:........... 2^2 purity:............... true dim sing. l.:......... -1 |
i3 : parametrize X o3 = multi-rational map consisting of one single rational map source variety: PP^4 target variety: 4-dimensional subvariety of PP^6 cut out by 2 hypersurfaces of degree 2 dominance: true degree: 1 o3 : MultirationalMap (birational map from PP^4 to X) |
The object fanoFourfold is a method function with options.