aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* changed Q; added weyl chamber test.Jeshiba2017-07-173-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/AlgCombJeshiba2017-07-170-0/+0
|\
| * checkpointYuchen Pei2017-07-172-6/+21
| |
* | check pintJeshiba2017-07-172-6/+21
|/
* added PitmanTransform and RobinsonSchensted.Jeshiba2017-07-133-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]
* CheckpointJeshiba2017-07-135-27/+103
|
* Added a test on positiveRoots.Jeshiba2017-07-132-15/+33
| | | | positiveRoots ++ there negation form all the roots.
* Update README.mdYuchen Pei2017-07-121-0/+2
|
* fixed highest roots and positive roots.Jeshiba2017-07-121-16/+14
|
* revised longestElementJeshiba2017-07-121-1/+1
|
* implemented longestElementJeshiba2017-07-122-19/+47
|
* implemented positive roots.Jeshiba2017-07-122-2/+64
|
* started working on RootSystem.hsJeshiba2017-07-111-0/+272
|
* added license.Yuchen Pei2017-07-062-0/+13
|
* removed test.hsYuchen Pei2017-06-261-4/+0
|
* added SSYT and Wrd datatypes; added comments.Jeshiba2017-06-232-22/+38
|
* added robinsonSchensted and conversion to row words.Jeshiba2017-06-233-3/+83
|
* minor changeYuchen Pei2017-06-231-0/+8
|
* first commitYuchen Pei2017-06-221-0/+11