HaskellForMaths-0.4.7: Combinatorics, group theory, commutative algebra, non-commutative algebra

Safe HaskellNone
LanguageHaskell98

Math.Projects.RootSystem

Documentation

data Type Source

Constructors

A 
B 
C 
D 
E 
F 
G 

basisElt :: Int -> Int -> [Q] Source

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

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

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

wMx :: [Q] -> [[Q]] Source

setDiag :: a -> [[a]] -> [[a]] Source

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

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

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

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

fromCoxeterMatrix2 :: [[Int]] -> ([SGen], [([SGen], [SGen])]) Source

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

elemMx :: Int -> Int -> Int -> [[Q]] Source

lieMult :: Num a => a -> a -> a Source

(+|+) :: [[a]] -> [[a]] -> [[a]] Source

(+-+) :: [a] -> [a] -> [a] Source

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

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

numRoots :: (Num a, Eq a) => Type -> a -> a Source