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

Language | Haskell98 |

# Documentation

permReduced :: RingEq r => Morphism [B] r Source

comultReducedRight :: RingEq r => Morphism [B] r Source

comultReducedLeft :: RingEq r => Morphism [B] r Source

multReducedRight :: RingEq r => Morphism [B] r Source

multReducedLeft :: RingEq r => Morphism [B] r Source

toMatrices :: AbelianGroup r => Complex' r -> Map (Int, Int) ((Int, Int), [[r]]) Source

isNullComplex' :: AbEq r => Complex' r -> Bool Source

isNullMorphism :: AbEq r => Morphism b r -> Bool Source

shiftGraded :: Graded a -> Graded a Source