Changes to RSK

[tscrim]

This is a followup to #8392 which will do the following:

• Undeprecate the robinson_schensted() method for permutations.
• Add a robinson_schensted() method for words and integer matrices and anything else that should be accepted as input into RSK.
• Improve the documentation on the RSK function.

Apply: attachment: trac_15142-rsk_fixes-ts.patch

CC: @sagetrac-sage-combinat @anneschilling @saliola @darijgr

Component: combinatorics

Author: Travis Scrimshaw

Reviewer: Anne Schilling, Darij Grinberg

Merged: sage-5.13.beta0

Issue created by migration from https://trac.sagemath.org/ticket/15142

[darijgr]

Attachment: trac_15142-review-dg.patch.gz

this is barely worth a patch, but here it is. set to positive_review if you agree.

[tscrim]

comment:2

Anne, here's the patch with the change we talked about along with Darij's fixes.

Thanks for noticing those Darij.

For patchbot:

Apply: trac_15142-rsk_fixes-ts.patch

[anneschilling]

comment:3

Hi Travis,

Please change the following:

• In the documentation of robinson-schensted in finite_words it says

   Return the pair of semistandard tableaux obtained by running the
   Robinson-Schensted algorithm on ``self``.

However, the recording tableau in this case is always standard and not semistandard!

• Please add some tests to show that RSK and its inverse are indeed inverses. Make a comment in the documentation about the unusual input conventions which prevents RSK_inverse(RSK(..)) to be the identity!

Happy birthday!

Anne

[tscrim]

Attachment: trac_15142-rsk_fixes-ts.patch.gz

[tscrim]

comment:4

Hey Anne,

Done. I also changed the output from EG insertion to a list which is how reduced words are represented.

Thank you in advance; my birthday is tomorrow (well, at least tomorrow in most of North America).

For patchbot:

Apply: trac_15142-rsk_fixes-ts.patch

[tscrim]

Reviewer: Anne Schilling, Darij Grinberg

[anneschilling]

comment:5

Darij, could you do the final technical review?

Thanks,

Anne

[darijgr]

comment:6

Oops! For some reason this ticket wasn't sending me any emails. Just found it on the needing-review list...

Yes, the patch is fine, at least assuming that noone would want inverse Edelman-Greene RSK to return anything other than words (at least the original authors seem to use it on words only).

Happy birthday, Travis, if this still applies.

[tscrim]

comment:7

I'll count it. Thank you Darij.

[jdemeyer]

Merged: sage-5.13.beta0