Commit 2024-03-02 15:57 17a99271
View on Github →feat(LinearAlgebra/RootSystem/Defs): Properties of pairs of roots (#10666)
Given a pair of roots, we can describe the "angle" between them using the pairing between root i
and coroot j
together with the reverse pairing. This PR adds language for describing the various cases.