SpecialFanoFourfolds : Index
-
< SpecialGushelMukaiFourfold -- try to deform to a fourfold of Gushel type
-
coneOfLines -- cone of lines on a subvariety passing through a point
-
coneOfLines(Ideal,Ideal) -- cone of lines on a subvariety passing through a point
-
cycleClass -- determine the expression of the class of a cycle as a linear combination of Schubert classes
-
cycleClass(Ideal) -- determine the expression of the class of a cycle as a linear combination of Schubert classes
-
detectCongruence -- detect and return a congruence of (3e-1)-secant curves of degree e
-
detectCongruence(SpecialCubicFourfold) -- detect and return a congruence of (3e-1)-secant curves of degree e
-
detectCongruence(SpecialCubicFourfold,ZZ) -- detect and return a congruence of (3e-1)-secant curves of degree e
-
detectCongruence(SpecialGushelMukaiFourfold) -- detect and return a congruence of (3e-1)-secant curves of degree e
-
detectCongruence(SpecialGushelMukaiFourfold,ZZ) -- detect and return a congruence of (3e-1)-secant curves of degree e
-
discriminant(SpecialCubicFourfold) -- discriminant of a special cubic fourfold
-
discriminant(SpecialGushelMukaiFourfold) -- discriminant of a special Gushel-Mukai fourfold
-
grassmannianHull -- grassmannian hull of a Gushel-Mukai fourfold
-
grassmannianHull(SpecialGushelMukaiFourfold) -- grassmannian hull of a Gushel-Mukai fourfold
-
ideal(SpecialCubicFourfold) -- ideal of the fourfold
-
ideal(SpecialGushelMukaiFourfold) -- ideal of the fourfold
-
ideals -- corresponding ideals
-
ideals(SpecialCubicFourfold) -- corresponding ideals
-
ideals(SpecialGushelMukaiFourfold) -- corresponding ideals
-
isAdmissible -- whether an integer is admissible
-
isAdmissible(SpecialCubicFourfold) -- whether an integer is admissible
-
isAdmissible(ZZ) -- whether an integer is admissible
-
map(SpecialCubicFourfold) -- associated cubic map
-
map(SpecialGushelMukaiFourfold) -- associated quadratic map
-
normalSheaf -- normal sheaf
-
normalSheaf(Ideal) -- normal sheaf
-
normalSheaf(Ideal,Ideal) -- normal sheaf
-
parameterCount -- count of parameters
-
parameterCount(..., Verbose => ...) -- count of parameters
-
parameterCount(Ideal,Ideal) -- count of parameters
-
parameterCount(SpecialCubicFourfold) -- count of parameters
-
parameterCount(SpecialGushelMukaiFourfold) -- count of parameters in the moduli space of GM fourfolds
-
parametrize(SpecialCubicFourfold) -- rational parametrization
-
parametrize(SpecialGushelMukaiFourfold) -- rational parametrization
-
rationalMap(RationalMap,Ring) -- induced automorphism of the Grassmannian
-
ring(SpecialCubicFourfold) -- ambient polynomial ring of the fourfold
-
ring(SpecialGushelMukaiFourfold) -- ambient polynomial ring of the fourfold
-
schubertCycle -- take a random Schubert cycle
-
schubertCycle(VisibleList,Ring) -- take a random Schubert cycle
-
schubertCycle(VisibleList,Ring,String) -- take a random Schubert cycle
-
SpecialCubicFourfold -- the class of all special cubic fourfolds
-
specialCubicFourfold -- make a special cubic fourfold
-
specialCubicFourfold(..., InputCheck => ...) -- make a special cubic fourfold
-
specialCubicFourfold(..., NumNodes => ...) -- make a special cubic fourfold
-
specialCubicFourfold(..., Verbose => ...) -- make a special cubic fourfold
-
specialCubicFourfold(Ideal) -- random special cubic fourfold
-
specialCubicFourfold(Ideal,Ideal) -- make a special cubic fourfold
-
specialCubicFourfold(Ideal,RingElement) -- make a special cubic fourfold
-
specialCubicFourfold(String) -- random special cubic fourfold
-
specialCubicFourfold(String,Ring) -- random special cubic fourfold
-
SpecialFanoFourfolds -- A (work-in-progress) package for working with special cubic fourfolds and special Gushel-Mukai fourfolds
-
SpecialGushelMukaiFourfold -- the class of all special Gushel-Mukai fourfolds
-
specialGushelMukaiFourfold -- make a special Gushel-Mukai fourfold
-
specialGushelMukaiFourfold(..., InputCheck => ...) -- make a special Gushel-Mukai fourfold
-
specialGushelMukaiFourfold(..., Verbose => ...) -- make a special Gushel-Mukai fourfold
-
specialGushelMukaiFourfold(Ideal) -- random special Gushel-Mukai fourfold
-
specialGushelMukaiFourfold(Ideal,Ideal) -- make a special Gushel-Mukai fourfold
-
specialGushelMukaiFourfold(String) -- random special Gushel-Mukai fourfold
-
specialGushelMukaiFourfold(String,Ring) -- random special Gushel-Mukai fourfold
-
tables -- make examples of reducible subschemes of P^5
-
tables(ZZ) -- make examples of reducible subschemes of P^5
-
tables(ZZ,Nothing) -- make examples of reducible subschemes of P^5
-
tables(ZZ,Ring) -- make examples of reducible subschemes of P^5
-
tables(ZZ,Ring,Nothing) -- make examples of reducible subschemes of P^5
-
toGrass -- Gushel morphism from a GM fourfold to Grass(1,4)
-
toGrass(Ideal) -- embedding of an ordinary Gushel-Mukai fourfold or a del Pezzo variety into Grass(1,4)
-
toGrass(SpecialGushelMukaiFourfold) -- Gushel morphism from a GM fourfold to Grass(1,4)
-
unirationalParametrization -- unirational parametrization
-
unirationalParametrization(SpecialCubicFourfold) -- unirational parametrization
-
unirationalParametrization(SpecialCubicFourfold,Ideal) -- unirational parametrization
-
unirationalParametrization(SpecialGushelMukaiFourfold) -- unirational parametrization