#19686: Category of posets: lower_set() broken
-------------------------------------+-------------------------------------
       Reporter:  jmantysalo         |        Owner:
           Type:  defect             |       Status:  needs_review
       Priority:  minor              |    Milestone:  sage-6.11
      Component:  combinatorics      |   Resolution:
       Keywords:  poset              |    Merged in:
        Authors:                     |    Reviewers:
Report Upstream:  N/A                |  Work issues:
         Branch:                     |       Commit:
  u/jmantysalo/category_of_posets__lower_set___broken|  
6297f4a313e4214ae1d7b1dcd44a3a9bbb7c2d60
   Dependencies:                     |     Stopgaps:
-------------------------------------+-------------------------------------
Changes (by jmantysalo):

 * status:  new => needs_review
 * commit:   => 6297f4a313e4214ae1d7b1dcd44a3a9bbb7c2d60
 * milestone:  sage-6.10 => sage-6.11


Comment:

 What you think about this? At least now `lower_set` and `upper_set` seems
 to work.

 There is also `is_order_filter` (and `...ideal`). They should be changed
 too, if we make `[lower|upper]_set()` the preferred name.

 I would like to see html docs with functions like this hidden. Just like
 we now have deprecated function removed, we should have a way to hide non-
 preferred alias names.
 ----
 New commits:
 
||[http://git.sagemath.org/sage.git/commit/?id=6297f4a313e4214ae1d7b1dcd44a3a9bbb7c2d60
 6297f4a]||{{{Fix [lower|upper]_set() in poset category.}}}||

--
Ticket URL: <http://trac.sagemath.org/ticket/19686#comment:4>
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 https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to