#13546: Bug in is_perfect
-------------------------------------------+--------------------------------
       Reporter:  azi                      |         Owner:  jason, ncohen, rlm
           Type:  defect                   |        Status:  new               
       Priority:  critical                 |     Milestone:  sage-5.5          
      Component:  graph theory             |    Resolution:                    
       Keywords:  is_perfect,graph theory  |   Work issues:                    
Report Upstream:  N/A                      |     Reviewers:                    
        Authors:  Jernej Azarija           |     Merged in:                    
   Dependencies:                           |      Stopgaps:                    
-------------------------------------------+--------------------------------

Comment (by azi):

 I have modified is perfect in the following way:

 {{{
         ret = self.is_odd_hole_free(certificate = certificate)

         if ret == False or (certificate and ret != None):
             return ret

         self_complement = self.complement()

         ret = self.is_odd_hole_free(certificate = certificate)

         if ret == False or (certificate and ret != None):
             return ret

         return True
 }}}

 The error is still there so I suppose there is a bug in is_odd_hole_free.
 I will try to spot the bug there and make a temporary patch

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13546#comment:3>
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