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 |