mathkell.git - Experimental mathematics with Haskell, mainly covering some algebraic / enumerative combinatorics.

	Commit message (Collapse)	Author	Age	Files	Lines
*	minor edits of commentsHEAD master	Jeshiba	2017-07-18	1	-1/+1
\|
*	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	3	-39/+15
\| \| \| \| \|	- removed useless comments - added documentation, mainly in PitmanTransform.hs
*	changed Q; added weyl chamber test.	Jeshiba	2017-07-17	2	-7/+46
\| \| \| \| \| \| \| \| \| \| \|	- 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	2	-6/+21
\|
*	added PitmanTransform and RobinsonSchensted.	Jeshiba	2017-07-13	3	-30/+91
\| \| \| \| \| \| \| \|	- 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	Jeshiba	2017-07-13	5	-27/+103
\|
*	Added a test on positiveRoots.	Jeshiba	2017-07-13	2	-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	2	-19/+47
\|
*	implemented positive roots.	Jeshiba	2017-07-12	2	-2/+64
\|
*	started working on RootSystem.hs	Jeshiba	2017-07-11	1	-0/+272
\|
*	added license.	Yuchen Pei	2017-07-06	1	-0/+10
\|
*	removed test.hs	Yuchen Pei	2017-06-26	1	-4/+0
\|
*	added SSYT and Wrd datatypes; added comments.	Jeshiba	2017-06-23	2	-22/+38
\|
*	added robinsonSchensted and conversion to row words.	Jeshiba	2017-06-23	3	-3/+83
\|
*	minor change	Yuchen Pei	2017-06-23	1	-0/+8
\|
*	first commit	Yuchen Pei	2017-06-22	1	-0/+11