Safe Haskell | None |
---|---|
Language | Haskell2010 |
Classical results:
- Hilbert's degree formula
- some enumarative geometry computations by Schubert
Synopsis
- codim :: Partition -> Int
- dimension :: Partition -> Int
- hilbert :: Partition -> Integer
- hilbert2 :: Partition -> Integer
- degreeOfDualCurve :: Int -> Integer
- numberOfCurveFlexes :: Int -> Integer
- numberOfCurveBiTangents :: Int -> Integer
- numberOfSurface4xTangents :: Int -> Integer
- numberOfSurface5xHyperflexes :: Int -> Integer
- bidegreeOfSurfaceBiTangents :: Int -> (Integer, Integer)
- bidegreeOfSurfaceFlexes :: Int -> (Integer, Integer)
Documentation
Hilbert formula
hilbert2 :: Partition -> Integer Source #
Hilbert's degree formula, another version (as a sanity test).
Enumerative geometry
degreeOfDualCurve :: Int -> Integer Source #
The degree of the dual curve is d(d-1)
numberOfCurveFlexes :: Int -> Integer Source #
Number of flex lines to a generic degree d
plane curve
numberOfCurveBiTangents :: Int -> Integer Source #
Number of bitangent lines to a generic degree d
plane curve
numberOfSurface4xTangents :: Int -> Integer Source #
Number of 4-tangent lines to a generic degree d
surface (Schubert)
numberOfSurface5xHyperflexes :: Int -> Integer Source #
Number of lines meeting a generic degree d
surface at point with 5x multiplicity