Safe Haskell	None
Language	Haskell2010

Math.ThomPoly.SigmaI

Contents

Description

Calculates the Thom polynomial of Sigma^{i} with localization and the substitution trick (for sanity testing only, as we know the answer anyway)

Synopsis

Documentation

`Sigma^{i}`

Constructors

SigmaI
Fields _i :: !Int corank of the differential _n :: !Int source dimension

Instances

Eq SigmaI Source #
Methods (==) :: SigmaI -> SigmaI -> Bool # (/=) :: SigmaI -> SigmaI -> Bool #
Show SigmaI Source #
Methods showsPrec :: Int -> SigmaI -> ShowS # show :: SigmaI -> String # showList :: [SigmaI] -> ShowS #
Problem SigmaI Source #
Methods baseFName :: SigmaI -> String Source # calcStats :: SigmaI -> Stats Source # solve :: CoeffRing coeff => Proxy * coeff -> Batch -> SigmaI -> FreeMod Schur (FieldOfFractions coeff) Source #

We need n >= mu with this method

The codimension of Sigma^{i}(n,m) is codim = i*(m-n+i)

There is a sign in the localization formula.