#14862: Compositions accept any input
-------------------------------------+-------------------------------------
Reporter: stumpc5 | Owner: sage-combinat
Type: defect | Status: needs_work
Priority: major | Milestone: sage-5.13
Component: combinatorics | Resolution:
Keywords: composition, | Merged in:
FindStat | Reviewers:
Authors: | Work issues: provide a test in the
Report Upstream: N/A | constructor, decide on the type of
Branch: | weights of tableaux
Dependencies: | Commit:
| Stopgaps:
-------------------------------------+-------------------------------------
Comment (by andrew.mathas):
Replying to [comment:25 darij]:
> Ouch! Thanks for finding these things. The very idea that weights of
tableaux should be compositions isn't particularly literate (and it seems
to account for most of the failures). I see two ways to fix this:
>
> * Add a `WeakCompositions` class that checks for nonnegativity (rather
than positivity) and only removes trailing zeroes on uniformization. (A
weak composition is a finitely supported infinite sequence of nonnegative
integers.)
>
> * Let the weight just be an iterable, with checks being done in
`__classcall__`
>
> I'd much prefer to have this decided before the tableau rewrite...
I'm not sure what is slated for the tableaux rewrite (is this just the
plan to move over to ClonableIntArray?), but from a representation
theoretic perspective we should definitely allow the parts of compositions
to be zero.
--
Ticket URL: <http://trac.sagemath.org/ticket/14862#comment:28>
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/groups/opt_out.
