asked 14 years ago
Is there a way to dictate the choice of roots/simple roots to the RootSystem command?