| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | documentation and prop_longestElement. | Jeshiba | 2017-07-17 | 1 | -0/+13 |
| * | cleaned up the code. | Jeshiba | 2017-07-17 | 1 | -13/+2 |
| * | changed Q; added weyl chamber test. | Jeshiba | 2017-07-17 | 1 | -2/+3 |
| * | check pint | Jeshiba | 2017-07-17 | 1 | -6/+12 |
| * | Checkpoint | Jeshiba | 2017-07-13 | 1 | -2/+3 |
| * | Added a test on positiveRoots. | Jeshiba | 2017-07-13 | 1 | -15/+33 |
| * | fixed highest roots and positive roots. | Jeshiba | 2017-07-12 | 1 | -16/+14 |
| * | revised longestElement | Jeshiba | 2017-07-12 | 1 | -1/+1 |
| * | implemented longestElement | Jeshiba | 2017-07-12 | 1 | -19/+47 |
| * | implemented positive roots. | Jeshiba | 2017-07-12 | 1 | -2/+64 |
| * | started working on RootSystem.hs | Jeshiba | 2017-07-11 | 1 | -0/+272 |
