Safe Haskell | None |
---|

# Documentation

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

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

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

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

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

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

isNullComplex' :: AbEq r => Complex' r -> BoolSource

isNullMorphism :: AbEq r => Morphism b r -> BoolSource

shiftGraded :: Graded a -> Graded aSource