K3 X
This function calls the function associatedK3surface.
i1 : X = specialFourfold "tau-quadric"; o1 : ProjectiveVariety, GM fourfold containing a surface of degree 2 and sectional genus 0
i2 : K3 X o2 = K3 surface of genus 6 and degree 10 in PP^6 o2 : Embedded K3 surface
i3 : associatedK3surface X o3 = surface in PP^6 cut out by 6 hypersurfaces of degree 2 o3 : ProjectiveVariety, K3 surface associated to X