sigma-ij-0.2.0.2: Thom polynomials of second order Thom-Boardman singularities
Math.ThomPoly.Formulae
Description
For some special cases (like j=1), we have explicit formulae.
j=1
TODO: implement them! (this is just a placeholder)
data SigmaI1 Source #
Constructors
Fields
Instances
Methods
(==) :: SigmaI1 -> SigmaI1 -> Bool #
(/=) :: SigmaI1 -> SigmaI1 -> Bool #
showsPrec :: Int -> SigmaI1 -> ShowS #
show :: SigmaI1 -> String #
showList :: [SigmaI1] -> ShowS #