Ticket #2874 (closed defect: fixed)
[with patch, positive review] add tests for type E root system, correct some misinformation in root_system.py, add Justin Walker credit
| Reported by: | bump | Owned by: | mhansen |
|---|---|---|---|
| Priority: | minor | Milestone: | sage-3.0 |
| Component: | combinatorics | Keywords: | |
| Cc: | sage-combinat | Author(s): | |
| Report Upstream: | Reviewer(s): | ||
| Merged in: | Work issues: |
Description
This patch was written with Justin Walker, who originally coded the exceptional group root systems based on data from Bourbaki. The patch does 3 things.
(1) Replaces self.dim with self.rank in AmbientLattice?_e and corrects some related misinformation in a comment in the file. (The a comment in the file formerly said that E6 had rank 5.)
(2) Adds tests. We checked the dimensions of the fundamental representations against what they are supposed to be (from another source), which is a convincing test that all the root data are correct.
(3) Adds a credit for Justin in the file. This was my idea since I know Justin worked hard on getting the exceptional groups coded but if it is controversial it can be taken down.

