#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.

Reply via email to