aboutsummaryrefslogtreecommitdiff
path: root/Math/Combinatorics/PitmanTransform.hs
Commit message (Collapse)AuthorAgeFilesLines
* minor edits of commentsHEADmasterJeshiba2017-07-181-1/+1
|
* cleaned up the code.Jeshiba2017-07-171-23/+13
| | | | | - removed useless comments - added documentation, mainly in PitmanTransform.hs
* changed Q; added weyl chamber test.Jeshiba2017-07-171-5/+43
| | | | | | | | | | | - 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.
* check pintJeshiba2017-07-171-0/+9
|
* added PitmanTransform and RobinsonSchensted.Jeshiba2017-07-131-0/+38
| | | | | | | | - 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-131-0/+29