Math.Projects.RootSystem
data Type
basisElt
simpleSystem
w
closure
weylPerms
weylMatrices
wMx
cartanMatrix
setDiag
dynkinFromCartan
dynkinDiagram
coxeterFromDynkin
coxeterMatrix
fromCoxeterMatrix
fromCoxeterMatrix2
coxeterPresentation
eltsCoxeter
poincarePoly
elemMx
lieMult
(+|+)
(+-+)
form
rootSystem
numRoots
orderWeyl
factorial