PR !4#17071: feat : (LinearAlgebra/RootSystem) : Separati...

Stream: triage

[Random Issue Bot]

Today I chose PR #17071 for discussion!

feat : (LinearAlgebra/RootSystem) : Separation, base, cartanMatrix
Created by @Scott Carnahan (@ScottCarnahan) on 2024-09-24
Labels: WIP, merge-conflict, t-algebra

Is this PR still relevant? Any recent updates? Anyone making progress?

[Scott Carnahan]

This was an attempt to generalize bases of root systems and root data to the infinite case, where there is not much literature. I am still thinking about ways to fix it.