#17252: bug fix in StrongTableaux.marked_CST_to_transposition_sequence
-------------------------------------+-------------------------------------
Reporter: zabrocki | Owner:
Type: defect | Status: needs_work
Priority: minor | Milestone: sage-6.4
Component: combinatorics | Resolution:
Keywords: | Merged in:
Authors: Mike Zabrocki | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
public/combinat/zabrocki/fixstrongtableaux/17252|
a48b105bfb91aaeacac7cd6606b57aa585f3bc23
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Changes (by zabrocki):
* status: needs_review => needs_work
Comment:
More testing shows that checking the conditions in the ribbon is not
sufficient.
Example:
Let
`T = [[-1, -2, -5, 5, -5, 5, -5], [-3, -4, 5, 5], [5]]`
if you apply the transposition t_{6,7} to T then the shape will be `[6,3]`
leaving
`[[-1, -2, -5, 5, -5, 5], [-3, -4, 5]]`
and the marking is in cell (0,6) as hoped
if you apply the transposition t_{5,7} to T then the shape will be`
[5,2,1]` leaving
`[[-1, -2, -5, 5, -5], [-3, -4], [5]]`
The markings in both cases are correct, but the right transposition to
apply is the t_{5,7}.
The only way reason why you don't want to apply the t_{6,7} is just
because no corner cell of t_{6,7} T has a marking. But I can only hope
that checking this catches all cases.
--
Ticket URL: <http://trac.sagemath.org/ticket/17252#comment:3>
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.
