Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | changed Q; added weyl chamber test. | Jeshiba | 2017-07-17 | 3 | -7/+47 |
| | | | | | | | | | | | - Changed Q from Math.Algebra.Field.Base.Q to Rational for better prelude support despite ugly show functions, see PitmanTransform.hs line 82 - Added test prop_Pitman_WeylChamber verifying the result of the Pitman's transform is in the WeylChamber - Fixed a bug in pitman: added 0 initial condition to the input paths and removed the first row in the output corresponding to the initial condition. Otherwise prop_Pitman_Weylchamber won't verify. | ||||
* | Merge branch 'master' of /home/bacon/Dropbox/git/AlgComb | Jeshiba | 2017-07-17 | 0 | -0/+0 |
|\ | |||||
| * | checkpoint | Yuchen Pei | 2017-07-17 | 2 | -6/+21 |
| | | |||||
* | | check pint | Jeshiba | 2017-07-17 | 2 | -6/+21 |
|/ | |||||
* | added PitmanTransform and RobinsonSchensted. | Jeshiba | 2017-07-13 | 3 | -30/+91 |
| | | | | | | | | - Implemented Pitman's transforms, relying on RootSystem.hs - Tested by checking equality with Column insertion. - Moved row insertion from YoungTableaux to RobinsonSchensted - Implemented column insertion - Using Word where previously was [a] | ||||
* | Checkpoint | Jeshiba | 2017-07-13 | 5 | -27/+103 |
| | |||||
* | Added a test on positiveRoots. | Jeshiba | 2017-07-13 | 2 | -15/+33 |
| | | | | positiveRoots ++ there negation form all the roots. | ||||
* | Update README.md | Yuchen Pei | 2017-07-12 | 1 | -0/+2 |
| | |||||
* | 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 | 2 | -19/+47 |
| | |||||
* | implemented positive roots. | Jeshiba | 2017-07-12 | 2 | -2/+64 |
| | |||||
* | started working on RootSystem.hs | Jeshiba | 2017-07-11 | 1 | -0/+272 |
| | |||||
* | added license. | Yuchen Pei | 2017-07-06 | 2 | -0/+13 |
| | |||||
* | removed test.hs | Yuchen Pei | 2017-06-26 | 1 | -4/+0 |
| | |||||
* | added SSYT and Wrd datatypes; added comments. | Jeshiba | 2017-06-23 | 2 | -22/+38 |
| | |||||
* | added robinsonSchensted and conversion to row words. | Jeshiba | 2017-06-23 | 3 | -3/+83 |
| | |||||
* | minor change | Yuchen Pei | 2017-06-23 | 1 | -0/+8 |
| | |||||
* | first commit | Yuchen Pei | 2017-06-22 | 1 | -0/+11 |