#15621: Implement regular partition tuples
-------------------------------------+-------------------------------------
Reporter: tscrim | Owner: sage-combinat
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-6.4
Component: combinatorics | Resolution:
Keywords: regular partition | Merged in:
tuples | Reviewers:
Authors: Travis Scrimshaw | Work issues:
Report Upstream: N/A | Commit:
Branch: | c6a4f44b22b1c8a90215da7bb9f7f29302bde49a
public/combinat/regular_partition_tuples| Stopgaps:
Dependencies: #15525 |
-------------------------------------+-------------------------------------
Comment (by tscrim):
Hey Andrew,
Replying to [comment:4 tscrim]:
> Replying to [comment:3 andrew.mathas]:
> > First, I'd like to say that I am very much against the advertised
change that {{{PartitionTuples}}} now always returns a element of this
class in level 1 as I think that this is mathematically incorrect (...and
it will mean that I have to change some of my own code:). On the other
hand, if this is necessary for #15508 or #15525 then one way to preserve
mathematical correctness might be to use coercions/conversions in level 1?
Also, if one does this then in {{{partition_tuple.py}}} shouldn't
> > {{{
> > sage: [5,1,1] in PartitionTuples()
> > True
> > }}}
> > return {{{False}}}?
>
> I was thinking it was necessary for #15508, but then I realized I was
directly using the parent class instead of just going through
`PartitionTuples`. I'll change this back, and put some warnings about
this. Although I think we should make sure we can convert from level 1
partition tuples to partitions if the user happens to accidentally have
created one.
I noticed an inconsistency with this. In particular, we currently have:-
{{{
sage: la = Partition([3,3,1])
sage: PT = PartitionTuples()
sage: la in PT
}}}
So either we should have my change where the quoted example should be
`True`, or we change it so that the example I gave returns `False`. Which
would you prefer?
--
Ticket URL: <http://trac.sagemath.org/ticket/15621#comment:12>
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.
