SpecialFanoFourfolds : Index

• ambientFivefold -- get the ambient fivefold of the Hodge-special fourfold
• ambientFivefold(HodgeSpecialFourfold) -- get the ambient fivefold of the Hodge-special fourfold
• associatedCastelnuovoSurface -- Castelnuovo surface associated to a rational complete intersection of three quadrics in P^7
• associatedCastelnuovoSurface(...,Singular=>...) -- whether to transfer computation to Singular
• associatedCastelnuovoSurface(...,Strategy=>...) -- Castelnuovo surface associated to a rational complete intersection of three quadrics in P^7
• associatedCastelnuovoSurface(...,Verbose=>...) -- request verbose feedback
• associatedCastelnuovoSurface(IntersectionOfThreeQuadricsInP7) -- Castelnuovo surface associated to a rational complete intersection of three quadrics in P^7
• associatedK3surface -- K3 surface associated to a rational fourfold
• associatedK3surface(...,Singular=>...) -- whether to transfer computation to Singular
• associatedK3surface(...,Strategy=>...) -- K3 surface associated to a rational fourfold
• associatedK3surface(...,Verbose=>...) -- request verbose feedback
• associatedK3surface(CubicFourfold) -- K3 surface associated to a rational cubic fourfold
• associatedK3surface(GushelMukaiFourfold) -- K3 surface associated to a rational Gushel-Mukai fourfold
• beauvilleMap -- construction of Beauville for complete intersections of three quadrics in P^7
• beauvilleMap(IntersectionOfThreeQuadricsInP7) -- construction of Beauville for complete intersections of three quadrics in P^7
• building -- K3 surface associated to a rational fourfold
• check(CongruenceOfCurves) -- check that a congruence of curves is well-defined
• check(ZZ,CongruenceOfCurves) -- check that a congruence of curves is well-defined
• clean(HodgeSpecialFourfold) -- clean the internal information of a fourfold
• CongruenceOfCurves -- the class of all congruences of secant curves to surfaces
• CongruenceOfCurves EmbeddedProjectiveVariety -- get the curve of a congruence passing through a point
• CongruenceOfCurves Ideal -- get the curve of a congruence passing through a point
• CubicFourfold -- the class of all special cubic fourfolds
• cubicFourfold -- make a special cubic fourfold
• cubicFourfold(...,InputCheck=>...) -- make a special cubic fourfold
• cubicFourfold(...,NumNodes=>...) -- make a special cubic fourfold
• cubicFourfold(...,Verbose=>...) -- request verbose feedback
• cubicFourfold(EmbeddedProjectiveVariety) -- random special cubic fourfold
• cubicFourfold(EmbeddedProjectiveVariety,EmbeddedProjectiveVariety) -- make a special cubic fourfold
• cubicFourfold(Ideal) -- random special cubic fourfold
• cubicFourfold(Ideal,Ideal) -- make a special cubic fourfold
• cubicFourfold(Ideal,RingElement) -- make a special cubic fourfold
• cubicFourfold(String) -- random special cubic fourfold of a given type
• cubicFourfold(String,Ring) -- random special cubic fourfold of a given type
• detectCongruence -- detect and return a congruence of secant curves to a surface
• detectCongruence(...,Verbose=>...) -- request verbose feedback
• detectCongruence(CubicFourfold) -- detect and return a congruence of (3e-1)-secant curves of degree e
• detectCongruence(CubicFourfold,ZZ) -- detect and return a congruence of (3e-1)-secant curves of degree e
• detectCongruence(GushelMukaiFourfold) -- detect and return a congruence of (2e-1)-secant curves of degree e inside a del Pezzo fivefold
• detectCongruence(GushelMukaiFourfold,ZZ) -- detect and return a congruence of (2e-1)-secant curves of degree e inside a del Pezzo fivefold
• detectCongruence(HodgeSpecialFourfold) -- detect and return a congruence of secant curves to a surface
• detectCongruence(HodgeSpecialFourfold,ZZ) -- detect and return a congruence of secant curves to a surface
• discriminant(CubicFourfold) -- discriminant of a special cubic fourfold
• discriminant(GushelMukaiFourfold) -- discriminant of a special Gushel-Mukai fourfold
• discriminant(HodgeSpecialFourfold) -- discriminant of a special cubic fourfold
• DoublySpecialCubicFourfold -- the class of all cubic fourfolds belonging to the intersection of two Hassett divisors
• EmbeddedProjectiveVariety & EmbeddedProjectiveVariety -- the class of all cubic fourfolds belonging to the intersection of two Hassett divisors
• fanoFourfold -- random prime Fano fourfold of coindex at most 3
• fanoFourfold(...,CoefficientRing=>...) -- random prime Fano fourfold of coindex at most 3
• fanoFourfold(ZZ,ZZ) -- random prime Fano fourfold of coindex at most 3
• FanoMapType -- polarized K3 surface associated to a doubly special cubic fourfold
• fromOrdinaryToGushel -- try to deform to a fourfold of Gushel type
• fromOrdinaryToGushel(GushelMukaiFourfold) -- try to deform to a fourfold of Gushel type
• GMtables -- make examples of reducible subschemes of P^5
• GMtables(...,Verify=>...) -- make examples of reducible subschemes of P^5
• GMtables(ZZ) -- make examples of reducible subschemes of P^5
• GMtables(ZZ,Ring) -- make examples of reducible subschemes of P^5
• GushelMukaiFourfold -- the class of all special Gushel-Mukai fourfolds
• gushelMukaiFourfold -- make a special Gushel-Mukai fourfold
• gushelMukaiFourfold(...,InputCheck=>...) -- make a special Gushel-Mukai fourfold
• gushelMukaiFourfold(...,Verbose=>...) -- request verbose feedback
• gushelMukaiFourfold(Array,Array) -- construct GM fourfolds by gluing cubic or quartic scrolls to surfaces in PP^6
• gushelMukaiFourfold(Array,Array,String) -- construct GM fourfolds by gluing cubic or quartic scrolls to surfaces in PP^6
• gushelMukaiFourfold(Array,Array,String,Thing) -- construct GM fourfolds by gluing cubic or quartic scrolls to surfaces in PP^6
• gushelMukaiFourfold(Array,Array,Thing) -- construct GM fourfolds by gluing cubic or quartic scrolls to surfaces in PP^6
• gushelMukaiFourfold(EmbeddedProjectiveVariety) -- random special Gushel-Mukai fourfold
• gushelMukaiFourfold(EmbeddedProjectiveVariety,EmbeddedProjectiveVariety) -- make a special Gushel-Mukai fourfold
• gushelMukaiFourfold(Ideal) -- random special Gushel-Mukai fourfold
• gushelMukaiFourfold(Ideal,Ideal) -- make a special Gushel-Mukai fourfold
• gushelMukaiFourfold(String) -- random special Gushel-Mukai fourfold of a given type
• gushelMukaiFourfold(String,Ring) -- random special Gushel-Mukai fourfold of a given type
• HodgeSpecialFourfold -- the class of all Hodge-special fourfolds
• IntersectionOfThreeQuadricsInP7 -- the class of all special intersection of three quadrics in P^7
• isAdmissible -- whether an integer is admissible (in the sense of the theory of cubic fourfolds)
• isAdmissible(CubicFourfold) -- whether an integer is admissible (in the sense of the theory of cubic fourfolds)
• isAdmissible(ZZ) -- whether an integer is admissible (in the sense of the theory of cubic fourfolds)
• isAdmissibleGM -- whether an integer is admissible (in the sense of the theory of GM fourfolds)
• isAdmissibleGM(GushelMukaiFourfold) -- whether an integer is admissible (in the sense of the theory of GM fourfolds)
• isAdmissibleGM(ZZ) -- whether an integer is admissible (in the sense of the theory of GM fourfolds)
• isMember(EmbeddedProjectiveVariety,CongruenceOfCurves) -- test membership in a congruence of curves
• latticePolarization -- polarized K3 surface associated to a doubly special cubic fourfold
• map(CongruenceOfCurves) -- compute the parameter space of a congruence
• map(CubicFourfold) -- associated cubic map
• map(GushelMukaiFourfold) -- associated quadratic map
• mirrorFourfold -- associated fourfold to a rational cubic or GM fourfold
• mirrorFourfold(...,Singular=>...) -- whether to transfer computation to Singular
• mirrorFourfold(...,Strategy=>...) -- associated fourfold to a rational cubic or GM fourfold
• mirrorFourfold(...,Verbose=>...) -- request verbose feedback
• mirrorFourfold(CubicFourfold) -- associated fourfold to a rational cubic or GM fourfold
• mirrorFourfold(GushelMukaiFourfold) -- associated fourfold to a rational cubic or GM fourfold
• mirrorFourfold(HodgeSpecialFourfold) -- associated fourfold to a rational cubic or GM fourfold
• mirrorFourfold(IntersectionOfThreeQuadricsInP7) -- associated fourfold to a rational cubic or GM fourfold
• normalSheaf -- normal sheaf
• normalSheaf(EmbeddedProjectiveVariety) -- normal sheaf
• normalSheaf(EmbeddedProjectiveVariety,EmbeddedProjectiveVariety) -- normal sheaf
• parameterCount -- count of parameters
• parameterCount(...,Verbose=>...) -- request verbose feedback
• parameterCount(CubicFourfold) -- count of parameters in the moduli space of GM fourfolds
• parameterCount(EmbeddedProjectiveVariety,EmbeddedProjectiveVariety) -- count of parameters
• parameterCount(GushelMukaiFourfold) -- count of parameters in the moduli space of GM fourfolds
• parameterCount(HodgeSpecialFourfold) -- count of parameters
• parametrize(HodgeSpecialFourfold) -- rational parametrization
• parametrizeFanoFourfold -- rational parametrization of a prime Fano fourfold of coindex at most 3
• parametrizeFanoFourfold(...,Strategy=>...) -- rational parametrization of a prime Fano fourfold of coindex at most 3
• parametrizeFanoFourfold(EmbeddedProjectiveVariety) -- rational parametrization of a prime Fano fourfold of coindex at most 3
• polarizedK3surface -- polarized K3 surface associated to a doubly special cubic fourfold
• polarizedK3surface(...,FanoMapType=>...) -- polarized K3 surface associated to a doubly special cubic fourfold
• polarizedK3surface(...,Strategy=>...) -- polarized K3 surface associated to a doubly special cubic fourfold
• polarizedK3surface(...,Verbose=>...) -- request verbose feedback
• polarizedK3surface(DoublySpecialCubicFourfold) -- polarized K3 surface associated to a doubly special cubic fourfold
• Singular -- whether to transfer computation to Singular
• SpecialFanoFourfolds -- A package for working with Hodge-special fourfolds
• specialFourfold -- make a Hodge-special fourfold
• specialFourfold(...,InputCheck=>...) -- make a Hodge-special fourfold
• specialFourfold(...,NumNodes=>...) -- make a Hodge-special fourfold
• specialFourfold(...,Verbose=>...) -- request verbose feedback
• specialFourfold(EmbeddedProjectiveVariety) -- make a Hodge-special fourfold
• specialFourfold(EmbeddedProjectiveVariety,EmbeddedProjectiveVariety) -- make a Hodge-special fourfold
• specialFourfold(EmbeddedProjectiveVariety,EmbeddedProjectiveVariety,EmbeddedProjectiveVariety) -- make a Hodge-special fourfold
• specialFourfold(Ideal) -- make a Hodge-special fourfold
• specialFourfold(Ideal,Ideal) -- make a Hodge-special fourfold
• specialFourfold(Ideal,RingElement) -- make a Hodge-special fourfold
• specialFourfold(String) -- make a Hodge-special fourfold
• specialFourfold(String,Ring) -- make a Hodge-special fourfold
• specialFourfold(String,ZZ) -- load a prebuilt example of fourfold
• surface -- get the special surface contained in the fourfold
• surface(HodgeSpecialFourfold) -- get the special surface contained in the fourfold
• surface(List) -- get a rational surface
• surface(MultiprojectiveVariety,MultiprojectiveVariety) -- make a Hodge-special surface
• surface(VisibleList,Option) -- get a rational surface
• surface(VisibleList,Option,Option) -- get a rational surface
• surface(VisibleList,Ring) -- get a rational surface
• surface(VisibleList,Ring,Option) -- get a rational surface
• surface(VisibleList,Ring,Option,Option) -- get a rational surface
• surfaces -- get the special surfaces contained in the cubic fourfold
• surfaces(DoublySpecialCubicFourfold) -- get the special surfaces contained in the cubic fourfold
• swap -- swap the order of the two special surfaces
• swap(DoublySpecialCubicFourfold) -- swap the order of the two special surfaces
• toExternalString(HodgeSpecialFourfold) -- convert to a readable string
• toGrass -- Gushel morphism from a GM fourfold to GG(1,4)
• toGrass(EmbeddedProjectiveVariety) -- embedding of an ordinary Gushel-Mukai fourfold or a del Pezzo variety into GG(1,4)
• toGrass(GushelMukaiFourfold) -- Gushel morphism from a GM fourfold to GG(1,4)
• trisecantFlop -- examples of trisecant flops
• trisecantFlop(...,Verbose=>...) -- request verbose feedback
• unirationalParametrization -- unirational parametrization
• unirationalParametrization(CubicFourfold) -- unirational parametrization
• unirationalParametrization(CubicFourfold,EmbeddedProjectiveVariety) -- unirational parametrization
• unirationalParametrization(GushelMukaiFourfold) -- unirational parametrization
• unirationalParametrization(HodgeSpecialFourfold) -- unirational parametrization
• Verbose -- request verbose feedback