| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | documentation and prop_longestElement. | Jeshiba | 2017-07-17 | 1 | -0/+13 |
| | | | | | | - Added more documentation in RootSystem.hs - Added a test for longestElement. | ||||
| * | cleaned up the code. | Jeshiba | 2017-07-17 | 1 | -13/+2 |
| | | | | | | - removed useless comments - added documentation, mainly in PitmanTransform.hs | ||||
| * | changed Q; added weyl chamber test. | Jeshiba | 2017-07-17 | 1 | -2/+3 |
| | | | | | | | | | | | | - 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 pint | Jeshiba | 2017-07-17 | 1 | -6/+12 |
| | | |||||
| * | Checkpoint | Jeshiba | 2017-07-13 | 1 | -2/+3 |
| | | |||||
| * | Added a test on positiveRoots. | Jeshiba | 2017-07-13 | 1 | -15/+33 |
| | | | | | positiveRoots ++ there negation form all the roots. | ||||
| * | fixed highest roots and positive roots. | Jeshiba | 2017-07-12 | 1 | -16/+14 |
| | | |||||
| * | revised longestElement | Jeshiba | 2017-07-12 | 1 | -1/+1 |
| | | |||||
| * | implemented longestElement | Jeshiba | 2017-07-12 | 1 | -19/+47 |
| | | |||||
| * | implemented positive roots. | Jeshiba | 2017-07-12 | 1 | -2/+64 |
| | | |||||
| * | started working on RootSystem.hs | Jeshiba | 2017-07-11 | 1 | -0/+272 |
 |
index : mathkell.git | |
| Experimental mathematics with Haskell, mainly covering some algebraic / enumerative combinatorics. |
| aboutsummaryrefslogtreecommitdiff |