Safe Haskell | None |
---|---|
Language | Haskell98 |
Math.Projects.RootSystem
Documentation
simpleSystem :: Type -> Int -> [[Q]] Source #
weylMatrices :: Type -> Int -> [[[Q]]] Source #
cartanMatrix :: Type -> Int -> [[Q]] Source #
dynkinFromCartan :: Num a => [[a]] -> [[a]] Source #
dynkinDiagram :: Type -> Int -> [[Q]] Source #
coxeterFromDynkin :: (Eq a1, Num a2, Num a1) => [[a1]] -> [[a2]] Source #
coxeterMatrix :: Num a => Type -> Int -> [[a]] Source #
fromCoxeterMatrix :: [[Int]] -> ([SGen], [([SGen], [a])]) Source #
eltsCoxeter :: Type -> Int -> [[SGen]] Source #
poincarePoly :: Type -> Int -> [Int] Source #
rootSystem :: Type -> Int -> [[Q]] Source #