Math.RootLoci.Classic

Classical results:

• Hilbert's degree formula
• some enumarative geometry computations by Schubert

Documentation

codim :: Partition -> Int

Codimension of a strata. This is simply (sum mu_i) - length(mu).

dimension :: Partition -> Int

Dimension of the strata. dim = length(mu).

Hilbert formula

hilbert :: Partition -> Integer

Hilbert's formula for the degree of a stratum

hilbert2 :: Partition -> Integer

Hilbert's degree formula, another version (as a sanity test).

Schubert

quadTangentLines :: Int -> Integer

Number of 4-tangent lines to a generic degree d surface

quintFlexLines :: Int -> Integer

Number of lines meeting a generic degree d surface at point with 5x multiplicity