Safe Haskell | None |
---|---|
Language | Haskell2010 |
We compute the open CSM classes directly, generalizing Aluffi's argument to the equivariant case:
First we compute the CSM of set of the distinct ordered points, then
push that forward first with delta_*
then with pi_*
to get the
CSM of the distinct unordered points with given multiplicities.
After that, we can get the closed CSM classes by summing over the strata in the closure.
This is faster, especially since we have a (recursive) formula for the CSM of the distinct ordered points.
Synopsis
- directOpenCSM :: ChernBase base => Partition -> ZMod (Gam base)
- directClosedCSM :: ChernBase base => Partition -> ZMod (Gam base)