#11379: Add Quantumino solver to sage/games
--------------------------------+-------------------------------------------
    Reporter:  slabbe           |         Owner:  slabbe           
        Type:  enhancement      |        Status:  closed           
    Priority:  major            |     Milestone:  sage-4.7.2       
   Component:  misc             |    Resolution:  fixed            
    Keywords:  sd31             |   Work_issues:                   
    Upstream:  N/A              |      Reviewer:  Rob Beezer       
      Author:  Sébastien Labbé  |        Merged:  sage-4.7.2.alpha2
Dependencies:                   |  
--------------------------------+-------------------------------------------

Comment(by fbissey):

 Just a note from my testing of 4.7.2.alpha2. I have no problem on a
 vanilla sage even with python 2.7 installed. However in sage-on-gentoo one
 test is failing
 {{{
         .. NOTE::

             The DLX solver throws a Segmentation Fault when the
             number of rows is zero::

                 sage: from sage.combinat.matrices.dancing_links import
 dlx_solver
                 sage: rows = []
                 sage: x = dlx_solver(rows)
                 sage: x.search()        # not tested
                 BOOM !!!
 }}}
 sage-on-gentoo goes BOOM at
 {{{
 sage: x = dlx_solver(rows)
 }}}
 With a SIGABRT
 {{{
 sage:  x = dlx_solver(rows)
 python2.7: sage/combinat/matrices/dancing_links_c.h:217: void
 dancing_links::setup_columns(): Assertion `nr_columns > 0' failed.
 /usr/lib64/libcsage.so(print_backtrace+0x24)[0x7fea73a945f7]
 /usr/lib64/libcsage.so(sigdie+0x1d)[0x7fea73a94687]
 /usr/lib64/libcsage.so(sage_signal_handler+0x157)[0x7fea73a94822]
 /lib64/libpthread.so.0(+0xfee0)[0x7fea79206ee0]
 /lib64/libc.so.6(gsignal+0x35)[0x7fea78ea5ee5]
 /lib64/libc.so.6(abort+0x186)[0x7fea78ea7896]
 /lib64/libc.so.6(__assert_fail+0xf5)[0x7fea78e9e7a5]
 /usr/lib64/python2.7/site-
 packages/sage/combinat/matrices/dancing_links.so(+0x855d)[0x7fea4e73255d]
 }}}
 while normal sage goes BOOM in the next not tested bit with a SIGSEGV
 {{{
 sage: x = dlx_solver(rows)
 sage: x.search()
 
/home/work/fbissey/sandbox/sage-4.7.2.alpha2/local/lib/libcsage.so(print_backtrace+0x31)[0x7fe2bbd11e65]
 
/home/work/fbissey/sandbox/sage-4.7.2.alpha2/local/lib/libcsage.so(sigdie+0x14)[0x7fe2bbd11e97]
 
/home/work/fbissey/sandbox/sage-4.7.2.alpha2/local/lib/libcsage.so(sage_signal_handler+0x20e)[0x7fe2bbd11ae4]
 /lib64/libpthread.so.0(+0xfee0)[0x7fe2c0fc5ee0]
 /home/work/fbissey/sandbox/sage-4.7.2.alpha2/local/lib/python2.7/site-
 packages/sage/combinat/matrices/dancing_links.so(+0x847d)[0x7fe29b0c547d]
 }}}
 We go BOOM in sage-on-gentoo for the reason stated in the notes (0 rows).

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