Commit 2025-12-16 11:37 922a69e7

View on Github →

feat(Data/Matrix/Cartan): add explicit forms for B, C, D (#32867) Add explicit matrix representations for small Cartan matrices:

  • B_two: B Cartan matrix
  • C_two: C Cartan matrix
  • D_four: D Cartan matrix (minimal rank for type D)

Estimated changes

modified theorem CartanMatrix.A_one
modified theorem CartanMatrix.A_three
modified theorem CartanMatrix.A_two
added theorem CartanMatrix.B_one
added theorem CartanMatrix.B_two
added theorem CartanMatrix.C_one
added theorem CartanMatrix.C_two
added theorem CartanMatrix.D_four
added theorem CartanMatrix.D_one
added theorem CartanMatrix.D_three'
added theorem CartanMatrix.D_three
added theorem CartanMatrix.D_two