Documentation

fingerprint :: AbelianGroupZ t => SomeTri t -> [[Char]]Source

mkTree2 :: RingP a => Bool -> [Pair a] -> Q aSource

mkTree :: RingP a => [Pair a] -> Q aSource

mkTree' :: RingP a => [Pair a] -> Q aSource

type Set a = [a]Source

type MT2 a = Q aSource

genXPM :: [[Char]] -> StringSource

root :: AbelianGroup t => SomeTri t -> tSource

mergein :: RingP a => Bool -> SomeTri a -> Pair a -> SomeTri a -> SomeTri aSource

single :: AbelianGroupZ a => Pair a -> SomeTri aSource