i1 : X = specialFourfold "quintic del Pezzo surface";
o1 : ProjectiveVariety, GM fourfold containing a surface of degree 5 and sectional genus 1
|
i2 : V = ambientFivefold X;
o2 : ProjectiveVariety, 5-dimensional subvariety of PP^8
|
i3 : S = surface X;
o3 : ProjectiveVariety, surface in PP^8 (subvariety of codimension 3 in V)
|
i4 : assert isSubset(S,X)
|