i3 : time (mu,U,C,f) = associatedK3surface(X,Verbose=>true);
-- the fourfold has been successfully recognized
-- computing the Fano map mu from PP^5
-- computed the map mu from PP^5 to PP^5 defined by the hypersurfaces
of degree 2 with points of multiplicity 1 along the surface S of degree 4 and genus 0
-- computing the surface U corresponding to the fourfold X
-- computing the surface U' corresponding to another fourfold X'
-- computing the top components of (U*U')\{exceptional lines} via interpolation
top 1, degrees: 1^4 2^1
top 2, degrees: 1^3 2^2
top 3, degrees: 1^3 2^1 3^1
top 4, degrees: 1^3 2^1 4^1
-- computing the map f from U to the minimal K3 surface of degree 14
-- computing the image of f using the F4 algorithm
-- used 1.73165 seconds
|