defining root systems based off of the root systems of obje…
defining root systems based off of the root systems of objects with equivalent automorphism groups
defining root systems based off of the root systems of objects with equivalent automorphism groups