유한바일군의 계산 강의노트

개요

Bourbaki ordering
Cartan matrix
representation of basic objects
- how to represent an element of the root lattice
- how to represent an element of the weight lattice
- how to represent an element of the Weyl group
change of coordinates from root basis to weight basis and vice versa
- inverse of Cartan matrix
action of Weyl group on root lattice
action of Weyl group on weight lattice
how to generate all positive roots
how to generate elements of the Weyl group