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