aboutsummaryrefslogtreecommitdiff
path: root/Math
Commit message (Collapse)AuthorAgeFilesLines
* checkpointYuchen Pei2017-07-172-6/+21
|
* added PitmanTransform and RobinsonSchensted.Jeshiba2017-07-133-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]
* CheckpointJeshiba2017-07-135-27/+103
|
* Added a test on positiveRoots.Jeshiba2017-07-132-15/+33
| | | | positiveRoots ++ there negation form all the roots.
* fixed highest roots and positive roots.Jeshiba2017-07-121-16/+14
|
* revised longestElementJeshiba2017-07-121-1/+1
|
* implemented longestElementJeshiba2017-07-122-19/+47
|
* implemented positive roots.Jeshiba2017-07-122-2/+64
|
* started working on RootSystem.hsJeshiba2017-07-111-0/+272
|
* added license.Yuchen Pei2017-07-061-0/+10
|
* removed test.hsYuchen Pei2017-06-261-4/+0
|
* added SSYT and Wrd datatypes; added comments.Jeshiba2017-06-232-22/+38
|
* added robinsonSchensted and conversion to row words.Jeshiba2017-06-233-3/+83
|
* minor changeYuchen Pei2017-06-231-0/+8
|
* first commitYuchen Pei2017-06-221-0/+11