Copyright | Adam Saltz |
---|---|

License | BSD3 |

Maintainer | saltz.adam@gmail.com |

Stability | experimental |

Safe Haskell | Safe |

Language | Haskell2010 |

Longer description to come.

- kFilteredMorphisms :: Int -> Morphisms -> Morphisms
- whoHasPsi :: AlgGen -> Morphisms -> Set AlgGen
- kWhoHasPsi :: Int -> AlgGen -> Morphisms -> Set AlgGen
- psiKillers :: AlgGen -> Morphisms -> Set AlgGen
- kPsiKillers :: Int -> AlgGen -> Morphisms -> Set AlgGen
- cancelKey :: AlgGen -> Morphisms -> AlgGen -> Morphisms
- kSimplify :: Int -> AlgGen -> Morphisms -> Morphisms
- kSimplifyComplex :: Int -> AlgGen -> Morphisms -> Morphisms
- kDoesPsiVanish :: Int -> AlgGen -> Morphisms -> Bool

# Documentation

kFilteredMorphisms :: Int -> Morphisms -> Morphisms Source

Compute all morphisms which change the k-grading by less than k.

psiKillers :: AlgGen -> Morphisms -> Set AlgGen Source

Determine which generators have single arrows to psi'.

kPsiKillers :: Int -> AlgGen -> Morphisms -> Set AlgGen Source

Same as `psiKillers`

but only checks for arrows which shift the filtration by `k`

or less.

kSimplify :: Int -> AlgGen -> Morphisms -> Morphisms Source

Simplify the complex at filtration k while dodging psi' Uses the Writer monad to keep track of what's canceled (but that information isn't used, presently)