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

Language | Haskell98 |

# Documentation

simpleSystem :: Type -> Int -> [[Q]] Source

w :: Fractional a => [a] -> [a] -> [a] Source

closure :: (Ord a, Fractional a) => [[a]] -> [[a]] Source

weylMatrices :: Type -> Int -> [[[Q]]] Source

cartanMatrix :: Type -> Int -> [[Q]] Source

dynkinFromCartan :: Num a => [[a]] -> [[a]] Source

dynkinDiagram :: Type -> Int -> [[Q]] Source

coxeterFromDynkin :: (Num a1, Num a, Eq a1) => [[a1]] -> [[a]] Source

coxeterMatrix :: Num a => Type -> Int -> [[a]] Source

fromCoxeterMatrix :: [[Int]] -> ([SGen], [([SGen], [t])]) Source

eltsCoxeter :: Type -> Int -> [[SGen]] Source

poincarePoly :: Type -> Int -> [Int] Source

rootSystem :: Type -> Int -> [[Q]] Source