| 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.
|
| |
|
| |
|
|
|
|
| |
positiveRoots ++ there negation form all the roots.
|
| |
|
| |
|
| |
|
| |
|
|
|