i1 : -- quintic del Pezzo surface S = projectiveVariety image rationalMap(ring PP_(ZZ/33331)^2,{3,4}); o1 : ProjectiveVariety, surface in PP^5 |
i2 : X = specialCubicFourfold(S,NumNodes=>0); o2 : ProjectiveVariety, cubic fourfold containing a surface of degree 5 and sectional genus 1 |
i3 : discriminant X o3 = 14 |