mathkell.git/Math, branch master Experimental mathematics with Haskell, mainly covering some algebraic / enumerative combinatorics. https://g.ypei.me/mathkell.git/atom?h=master 2017-07-18T13:30:05+00:00 minor edits of comments 2017-07-18T13:30:05+00:00 Jeshiba baconp@gmail.com 2017-07-18T13:30:05+00:00 urn:sha1:7e5404413830dff677d418a7d6653d5662532500 documentation and prop_longestElement. 2017-07-17T20:18:14+00:00 Jeshiba baconp@gmail.com 2017-07-17T20:18:14+00:00 urn:sha1:e82050aeb53d6aabcce7a8f27659e2e8bb8fb4bc - Added more documentation in RootSystem.hs - Added a test for longestElement. cleaned up the code. 2017-07-17T14:21:26+00:00 Jeshiba baconp@gmail.com 2017-07-17T14:21:26+00:00 urn:sha1:e36c52e338b82695da51030927ec5f6efdb3bbc4 - removed useless comments - added documentation, mainly in PitmanTransform.hs changed Q; added weyl chamber test. 2017-07-17T14:07:04+00:00 Jeshiba baconp@gmail.com 2017-07-17T14:07:04+00:00 urn:sha1:73f5c3f45e5971f9b5c78d0a0fcac23b4561b869 - 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 2017-07-17T11:59:18+00:00 Jeshiba baconp@gmail.com 2017-07-17T11:59:18+00:00 urn:sha1:72aaa08677777e76cef0433802abc53cd7f4bce3 added PitmanTransform and RobinsonSchensted. 2017-07-13T19:10:58+00:00 Jeshiba baconp@gmail.com 2017-07-13T19:10:58+00:00 urn:sha1:f1ad02cf7a29e3ad007bf58ac13ea8da96bfcd39 - 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] Checkpoint 2017-07-13T16:27:51+00:00 Jeshiba baconp@gmail.com 2017-07-13T16:27:51+00:00 urn:sha1:513bc5e8933d4e16fe8eeb2d2f997a12a6a96a4a Added a test on positiveRoots. 2017-07-13T12:30:46+00:00 Jeshiba baconp@gmail.com 2017-07-13T12:30:46+00:00 urn:sha1:4a01a7a38363b80289576690f303cc926846a2cd positiveRoots ++ there negation form all the roots. fixed highest roots and positive roots. 2017-07-12T21:03:14+00:00 Jeshiba baconp@gmail.com 2017-07-12T21:03:14+00:00 urn:sha1:0b116e817f65f416ad8dc835392b20fa6a57e990 revised longestElement 2017-07-12T20:03:31+00:00 Jeshiba baconp@gmail.com 2017-07-12T20:03:31+00:00 urn:sha1:523ba0227915169ad2423caf21d80c0252f26165