i1 : X = specialCubicFourfold "quintic del Pezzo surface"; o1 : ProjectiveVariety, cubic fourfold containing a surface of degree 5 and sectional genus 1 |
i2 : S = surface X; o2 : ProjectiveVariety, surface in PP^5 |
i3 : assert isSubset(S,X) |
The object surface is a method function.