Commit 2024-09-18 09:37 a9850465

feat (LinearAlgebra/RootSystem) : Construct root systems from bilinear forms on reflexive modules (#16722) This PR defines a function that takes a reflexive module M equipped with a bilinear form over a commutative ring, and produces a root pairing whose weight space is M and whose roots are the reflective vectors. This is a generalization of the standard construction of root systems from integral lattices.