#18643: Implement reverse row bumping for Tableaux
-------------------------------------+-------------------------------------
Reporter: j.levinson | Owner:
Type: enhancement | Status: needs_work
Priority: minor | Milestone: sage-6.8
Component: combinatorics | Resolution:
Keywords: days65 | Merged in:
Authors: Jake Levinson | Reviewers:
Report Upstream: N/A | Work issues:
Branch: u/j.levinson | Commit:
/reverse-bumping | 2c0e0581ddb095146f5b712cae37756e66fdd2aa
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by j.levinson):
Thanks for the review, Aaron.
1. Done.
2. Done.
3. Sure, done. Relatedly, would it be good to deprecate `is_row_strict()`
in favor of `is_row_increasing(weak=False)` and likewise for columns? It
seems cleaner to have a single function which can test for both the strict
and weak conditions.
4. I think `.bump()` should behave the same way as `.reverse_bump()` with
regards to type-checking, whatever we decide regarding which class to keep
it in. So even if we don't move it, I think `.bump()` should probably
raise an error on non-semistandard tableaux.
I have never heard of applying Schensted's algorithm to a non-
semistandard tableau, so it seems bad that this function does it (indeed,
there are several equivalent formulations of the algorithm which cease to
be equivalent when applied to non-semistandard tableaux. One of these
happens to be the way `.bump()` is implemented, which seems arbitrary). So
moving it to the `SemistandardTableau` class seems logical and would let
us dispense with the typechecking.
That said, removing functionality makes me uncomfortable -- certainly I
have run computations using "semistandard `Tableaux`" before I knew that
"`SemistandardTableaux`" even existed; I imagine other users might be
doing the same.
--
Ticket URL: <http://trac.sagemath.org/ticket/18643#comment:11>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
