Experimental mathematics with Haskell, mainly covering some algebraic / enumerative combinatorics. https://g.ypei.me/mathkell.git/atom?h=master 2017-07-17T14:07:04+00:00 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.