First time here? Check out the FAQ!
asked 2011-02-13 18:32:19 +0100
Is there a way to dictate the choice of roots/simple roots to the RootSystem command?