SpecialFanoFourfolds : Index
- 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 curve of degree e
- detectCongruence(SpecialCubicFourfold) -- detect and return a congruence of (3e-1)-secant curve of degree e
- detectCongruence(SpecialCubicFourfold,ZZ) -- detect and return a congruence of (3e-1)-secant curve of degree e
- discriminant(SpecialCubicFourfold) -- the class of all special cubic fourfolds
- discriminant(SpecialGushelMukaiFourfold) -- the class of all special Gushel-Mukai fourfolds
- embed -- embedding of a Gushel-Mukai fourfold into Grass(1,4)
- embed(..., Point => ...) -- make a special Gushel-Mukai fourfold
- embed(Ideal) -- embedding of a Gushel-Mukai fourfold/delPezzo fivefold/del Pezzo sixfold into Grass(1,4)
- embed(SpecialGushelMukaiFourfold) -- embedding of a Gushel-Mukai fourfold into Grass(1,4)
- 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
- NumNodes -- make a special cubic fourfold
- parameterCount -- Nuer's parameter count
- parameterCount(..., Verbose => ...) -- Nuer's parameter count
- parameterCount(Ideal,Ideal) -- Nuer's parameter count
- parameterCount(SpecialCubicFourfold) -- Nuer's parameter count
- parametrize(SpecialCubicFourfold) -- the class of all special cubic fourfolds
- parametrize(SpecialGushelMukaiFourfold) -- the class of all special Gushel-Mukai fourfolds
- Point -- make a special Gushel-Mukai fourfold
- rationalMap(RationalMap,Ring) -- induced automorphism of the Grassmannian
- 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(..., NumNodes => ...) -- make a special cubic fourfold
- specialCubicFourfold(Ideal) -- random special cubic fourfold
- specialCubicFourfold(Ideal,Ideal) -- 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 prime Fano fourfolds of degree 10 and index 2
- SpecialGushelMukaiFourfold -- the class of all special Gushel-Mukai fourfolds
- specialGushelMukaiFourfold -- make a special Gushel-Mukai fourfold
- specialGushelMukaiFourfold(..., Point => ...) -- 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