Safe Haskell | None |
---|---|

Language | Haskell2010 |

Calculates the Thom polynomial of `Sigma^{i}`

with localization and the substitution trick
(for sanity testing only, as we know the answer anyway)

- data SigmaI = SigmaI {}
- smallestI :: Int -> SigmaI
- codim :: SigmaI -> Int -> Int
- signCorrection :: SigmaI -> Int
- statsI :: SigmaI -> Stats
- type Fixpoint1 = [Int]
- sigmai :: CoeffRing coeff => Proxy coeff -> Batch -> SigmaI -> FreeMod Schur (FieldOfFractions coeff)
- sigmai' :: forall coeff. CoeffRing coeff => Proxy coeff -> SigmaI -> [(Partition, Partition)] -> FreeMod Schur (FieldOfFractions coeff)