i1 : X = specialCubicFourfold "quintic del Pezzo surface"; o1 : SpecialCubicFourfold (Cubic fourfold containing a surface of degree 5 and sectional genus 1) |
i2 : ? first ideals X o2 = smooth surface of degree 5 and sectional genus 1 in PP^5 cut out by 5 hypersurfaces of degree 2 |
i3 : ? last ideals X o3 = smooth cubic hypersurface in PP^5 |
The object ideals is a method function.