#17548: Partitions() is buggy
-------------------------------------+-------------------------------------
Reporter: ferriszorro | Owner: ferriszorro
Type: defect | Status: needs_work
Priority: major | Milestone: sage-6.5
Component: combinatorics | Resolution:
Keywords: Partitions | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
public/combinat/equal_min_max_slope_fix|
52db42b01c1b86c752652a09533e50dd0d899ab3
Dependencies: | Stopgaps: #17637, #17956
-------------------------------------+-------------------------------------
Changes (by tscrim):
* commit: => 52db42b01c1b86c752652a09533e50dd0d899ab3
* branch: => public/combinat/equal_min_max_slope_fix
Comment:
The branch I've attached fixes the length bounds and when `min_slope ==
max_slope`. However these violate the internal assumptions:
{{{
sage: C = Compositions(4, max_part=2, min_slope=1)
sage: Compositions(7, max_part=4, inner=[1], min_slope=1)
}}}
since the ceiling defaults to `max_part`, which is always 2/4 and has a
slope of 0 and violates the `min_slope` condition (i.e., the ceiling must
be increasing).
Also FTR, the last one in the description is the error message that was
wanted (precisely because it violates the conditions).
--
Ticket URL: <http://trac.sagemath.org/ticket/17548#comment:45>
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.