#7538: equality of posets is broken !
-----------------------------+----------------------------------------------
   Reporter:  hivert         |       Owner:  mhansen       
       Type:  defect         |      Status:  needs_info    
   Priority:  major          |   Milestone:  sage-4.3      
  Component:  combinatorics  |    Keywords:  posets        
Work_issues:                 |      Author:  Florent Hivert
   Upstream:  N/A            |    Reviewer:                
     Merged:                 |  
-----------------------------+----------------------------------------------
Changes (by hivert):

  * status:  new => needs_info


Comment:

 The fix posted here solve the problem of equality but raise a much more
 subtle one
 {{{
 sage: p1, p2 = Posets(2).list()
 sage: p2 < p1
 True
 sage: [[p1.__cmp__(p2) for p1 in Posets(2)] for p2 in Posets(2)]
 [[0, 1], [1, 0]]
 sage: [[p2.__cmp__(p1) for p1 in Posets(2)] for p2 in Posets(2)]
 [[0, 1], [-1, 0]]
 sage: p2 < p1
 False
 }}}

 I forward the discussion to sage-combinat-devel.

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7538#comment:1>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/sage-trac?hl=en.


Reply via email to