#14068: nauty_geng is naughty
----------------------------+-----------------------------------------------
   Reporter:  azi           |             Owner:  jason, ncohen, rlm
       Type:  defect        |            Status:  new               
   Priority:  major         |         Milestone:  sage-5.7          
  Component:  graph theory  |          Keywords:                    
Work issues:                |   Report Upstream:  N/A               
  Reviewers:                |           Authors:                    
  Merged in:                |      Dependencies:                    
   Stopgaps:                |  
----------------------------+-----------------------------------------------
 I think nauty_geng should not ignore geng's return value and return an
 exception if the returned value is not 0. Consider the following:

 {{{
 def find_counterexample(n):
    for G in graphs.nauty_geng("-c" + str(n)):
      if is_counterexample(G):
         print 'Yeees, there is a counterexample'
         return
    print 'No counterexamples! Conjecture holds'
 }}}

 the code appears to be just fine but it has a bug! Namely it tries to run
 the program geng with the parameter "-cn" instead of "-c n". Hence geng
 returns an error and instead of getting an error in Sage, it simply does
 not generate  any graphs.

 There are plenty of ways one could shot himself in the foot in this way
 and not know it. Hence I propose this gets fixed somehow!

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/14068>
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?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.


Reply via email to