Relax is_cartan_matrix and make CartanMatrix stricter; fix CartanMatrix for A1 and A1~

ulthiel / JuLie.jl

Mathematically sound structures and fast algorithms for things around representation theory, especially algebraic Lie theory and accompanying combinatorics.

GNU General Public License v3.0

6 stars 7 forks source link

Relax is_cartan_matrix and make CartanMatrix stricter; fix CartanMatrix for A1 and A1~ #22

Closed fingolfin closed 3 years ago

fingolfin commented 3 years ago

Allow applying is_cartan_matrix to any MatElem matrix
Add inner constructor for CartanMatrix to prevent creation of CartanMatrix objects which do not represent a (generalized) Cartan matrix.
Add some test for Cartan matrices
Add a few more MatElem methods for CartanMatrix, to e.g. enable == for them
Fix CartanMatrix("A1") and CartanMatrix("A1~")