| Commit message (Collapse) | Author | Age | Files | Lines |
| |
|
|
|
|
|
| |
- removed useless comments
- added documentation, mainly in PitmanTransform.hs
|
|
|
|
|
|
|
|
|
|
|
| |
- 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.
|
| |
|
|
|
|
|
|
|
|
| |
- 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]
|
|
|