Fixed isNonZero test. Further added a dot product on roots directly into the RootSystem module.
Roots are treated as row not column vectors by default
Factored a simple datatype out of semisimple to keep in a canonical form.
Removed hanging test
Added rank and dimension functions for a semisimple algebra
Added constructer which sorts the simple elements to keep the semisimple group in canonical form.
Generate root system for simple algebra's.
Extended to get a basic root system associated to each semi simple algebra
Added code to make the products of cartan algebra's and basic root systems