toExternalString(HodgeSpecialFourfold) -- convert to a readable string

Function: toExternalString
Usage:

toExternalString X
Inputs:
- X, a Hodge-special fourfold
Outputs:
- a string, a string representation of X, which can be used, in conjunction with value, to read the object back into the program later

Description

Some of the internal data of the input X are included in the returned string.

i1 : describe (X = specialFourfold "tau-quadric")

o1 = Special Gushel-Mukai fourfold of discriminant 10(')
     containing a surface of degree 2 and sectional genus 0
     cut out by 6 hypersurfaces of degrees 1^5 2^1 
     and with class in G(1,4) given by s_(3,1)+s_(2,2)
     Type: ordinary
     (case 1 of Table 1 in arXiv:2002.07026)

i2 : str = toExternalString X;

i3 : describe (value str)

o3 = Special Gushel-Mukai fourfold of discriminant 10(')
     containing a surface of degree 2 and sectional genus 0
     cut out by 6 hypersurfaces of degrees 1^5 2^1 
     and with class in G(1,4) given by s_(3,1)+s_(2,2)
     Type: ordinary
     (case 1 of Table 1 in arXiv:2002.07026)

Ways to use this method:

toExternalString(HodgeSpecialFourfold) -- convert to a readable string

The source of this document is in SpecialFanoFourfolds/docs.m2:488:0.