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 #