Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | changed Q; added weyl chamber test. | Jeshiba | 2017-07-17 | 1 | -0/+1 |
- 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. |