Segfault in normal.lib initialization

21 views

Skip to first unread message

Volker Braun

unread,

Dec 28, 2015, 4:06:50 PM12/28/15

to libsingular-devel

The following is random and I don't have a good testcase, it just happens occasionally on the Sage buildbot that does the SAGE_DEBUG=yes build. I just wanted to post it in case somebody has encountered it before.

$ ./sage -t --long src/sage/libs/singular/function.pyx | c++filt

too few successful tests, not using stored timings

Running doctests with ID 2015-12-28-21-42-16-0a6e2ece.

Git branch: develop

Using --optional=mpir,python2,sage

Doctesting 1 file.

sage -t --long src/sage/libs/singular/function.pyx

Killed due to segmentation fault

**********************************************************************

Tests run before process (pid=423) failed:

sage: from sage.libs.singular.function import singular_function ## line 26 ##

sage: P.<a,b,c,d> = PolynomialRing(GF(7)) ## line 27 ##

sage: std = singular_function('std') ## line 28 ##

sage: I = sage.rings.ideal.Cyclic(P) ## line 29 ##

sage: std(I) ## line 30 ##

[a + b + c + d, b^2 + 2*b*d + d^2, b*c^2 + c^2*d - b*d^2 - d^3, b*c*d^2 + c^2*d^2 - b*d^3 + c*d^3 - d^4 - 1, b*d^4 + d^5 - b - d, c^3*d^2 + c^2*d^3 - c - d, c^2*d^4 + b*c - b*d + c*d - 2*d^2]

sage: from sage.libs.singular.function import singular_function, lib as singular_lib ## line 42 ##

sage: primdecSY = singular_function('primdecSY') ## line 43 ##

sage: singular_lib('primdec.lib') ## line 48 ##

sage: primdecSY = singular_function('primdecSY') ## line 49 ##

sage: import sage.libs.singular.function_factory ## line 53 ##

sage: primdecSY = sage.libs.singular.function_factory.ff.primdec__lib.primdecSY ## line 54 ##

sage: from sage.libs.singular.function import singular_function ## line 61 ##

sage: std = singular_function('std') ## line 62 ##

sage: loads(dumps(std)) == std ## line 63 ##

True

sage: sig_on_count() # check sig_on/off pairings (virtual doctest) ## line 65 ##

sage: from sage.libs.singular.function import singular_function ## line 143 ##

sage: P.<x,y,z> = PolynomialRing(QQ) ## line 144 ##

sage: ringlist = singular_function("ringlist") ## line 145 ##

sage: l = ringlist(P) ## line 146 ##

sage: ring = singular_function("ring") ## line 147 ##

sage: ring(l, ring=P) ## line 148 ##

sage: sig_on_count() # check sig_on/off pairings (virtual doctest) ## line 150 ##

sage: from sage.libs.singular.function import singular_function ## line 165 ##

sage: P.<x,y,z> = PolynomialRing(QQ) ## line 166 ##

sage: ringlist = singular_function("ringlist") ## line 167 ##

sage: l = ringlist(P) ## line 168 ##

sage: ring = singular_function("ring") ## line 169 ##

sage: ring(l, ring=P).ngens() ## line 170 ##

sage: sig_on_count() # check sig_on/off pairings (virtual doctest) ## line 172 ##

sage: from sage.libs.singular.function import singular_function ## line 181 ##

sage: P.<x,y,z> = PolynomialRing(QQ) ## line 182 ##

sage: ringlist = singular_function("ringlist") ## line 183 ##

sage: l = ringlist(P) ## line 184 ##

sage: ring = singular_function("ring") ## line 185 ##

sage: ring(l, ring=P).var_names() ## line 186 ##

['x', 'y', 'z']

sage: sig_on_count() # check sig_on/off pairings (virtual doctest) ## line 188 ##

sage: from sage.libs.singular.function import singular_function ## line 197 ##

sage: P.<x,y,z> = PolynomialRing(QQ) ## line 198 ##

sage: ringlist = singular_function("ringlist") ## line 199 ##

sage: l = ringlist(P) ## line 200 ##

sage: ring = singular_function("ring") ## line 201 ##

sage: ring(l, ring=P).npars() ## line 202 ##

sage: sig_on_count() # check sig_on/off pairings (virtual doctest) ## line 204 ##

sage: from sage.libs.singular.function import singular_function ## line 213 ##

sage: P.<x,y,z> = PolynomialRing(QQ) ## line 214 ##

sage: ringlist = singular_function("ringlist") ## line 215 ##

sage: l = ringlist(P) ## line 216 ##

sage: ring = singular_function("ring") ## line 217 ##

sage: ring(l, ring=P).ordering_string() ## line 218 ##

'dp(3),C'

sage: sig_on_count() # check sig_on/off pairings (virtual doctest) ## line 220 ##

sage: from sage.libs.singular.function import singular_function ## line 231 ##

sage: P.<x,y,z> = PolynomialRing(QQ) ## line 232 ##

sage: ringlist = singular_function("ringlist") ## line 233 ##

sage: l = ringlist(P) ## line 234 ##

sage: ring = singular_function("ring") ## line 235 ##

sage: ring(l, ring=P).par_names() ## line 236 ##

[]

sage: sig_on_count() # check sig_on/off pairings (virtual doctest) ## line 238 ##

sage: from sage.libs.singular.function import singular_function ## line 247 ##

sage: P.<x,y,z> = PolynomialRing(QQ) ## line 248 ##

sage: ringlist = singular_function("ringlist") ## line 249 ##

sage: l = ringlist(P) ## line 250 ##

sage: ring = singular_function("ring") ## line 251 ##

sage: ring(l, ring=P).characteristic() ## line 252 ##

sage: sig_on_count() # check sig_on/off pairings (virtual doctest) ## line 254 ##

sage: from sage.libs.singular.function import singular_function ## line 263 ##

sage: P.<x,y,z> = PolynomialRing(QQ) ## line 264 ##

sage: ringlist = singular_function("ringlist") ## line 265 ##

sage: l = ringlist(P) ## line 266 ##

sage: ring = singular_function("ring") ## line 267 ##

sage: ring(l, ring=P).is_commutative() ## line 268 ##

True

sage: sig_on_count() # check sig_on/off pairings (virtual doctest) ## line 270 ##

sage: from sage.libs.singular.function import singular_function ## line 279 ##

sage: P.<x,y,z> = PolynomialRing(QQ) ## line 280 ##

sage: ringlist = singular_function("ringlist") ## line 281 ##

sage: l = ringlist(P) ## line 282 ##

sage: ring = singular_function("ring") ## line 283 ##

sage: ring(l, ring=P)._output() ## line 284 ##

// characteristic : 0

// number of vars : 3

// block 1 : ordering dp

// : names x y z

// block 2 : ordering Csage: sig_on_count() # check sig_on/off pairings (virtual doctest) ## line 290 ##

sage: from sage.libs.singular.function import singular_function ## line 301 ##

sage: mres = singular_function("mres") ## line 302 ##

sage: syz = singular_function("syz") ## line 303 ##

sage: P.<x,y,z> = PolynomialRing(QQ) ## line 304 ##

sage: I = P.ideal([x+y,x*y-y, y*2,x**2+1]) ## line 305 ##

sage: M = syz(I) ## line 306 ##

sage: resolution = mres(M, 0) ## line 307 ##

sage: sig_on_count() # check sig_on/off pairings (virtual doctest) ## line 308 ##

sage: from sage.libs.singular.function import singular_function ## line 316 ##

sage: mres = singular_function("mres") ## line 317 ##

sage: syz = singular_function("syz") ## line 318 ##

sage: P.<x,y,z> = PolynomialRing(QQ) ## line 319 ##

sage: I = P.ideal([x+y,x*y-y, y*2,x**2+1]) ## line 320 ##

sage: M = syz(I) ## line 321 ##

sage: resolution = mres(M, 0) ## line 322 ##

sage: resolution ## line 323 ##

sage: sig_on_count() # check sig_on/off pairings (virtual doctest) ## line 325 ##

sage: from sage.libs.singular.function import singular_function ## line 331 ##

sage: mres = singular_function("mres") ## line 332 ##

sage: syz = singular_function("syz") ## line 333 ##

sage: P.<x,y,z> = PolynomialRing(QQ) ## line 334 ##

sage: I = P.ideal([x+y,x*y-y, y*2,x**2+1]) ## line 335 ##

sage: M = syz(I) ## line 336 ##

sage: resolution = mres(M, 0) ## line 337 ##

sage: del resolution ## line 338 ##

sage: sig_on_count() # check sig_on/off pairings (virtual doctest) ## line 339 ##

sage: from sage.libs.singular.function import is_sage_wrapper_for_singular_ring ## line 378 ##

sage: P.<x,y,z> = QQ[] ## line 379 ##

sage: is_sage_wrapper_for_singular_ring(P) ## line 380 ##

True

sage: A.<x,y,z> = FreeAlgebra(QQ, 3) ## line 385 ##

sage: P = A.g_algebra(relations={y*x:-x*y}, order = 'lex') ## line 386 ##

sage: is_sage_wrapper_for_singular_ring(P) ## line 387 ##

True

sage: sig_on_count() # check sig_on/off pairings (virtual doctest) ## line 390 ##

sage: from sage.libs.singular.function import is_singular_poly_wrapper ## line 411 ##

sage: A.<x,y,z> = FreeAlgebra(QQ, 3) ## line 412 ##

sage: H.<x,y,z> = A.g_algebra({z*x:x*z+2*x, z*y:y*z-2*y}) ## line 413 ##

sage: is_singular_poly_wrapper(x+y) ## line 414 ##

True

sage: sig_on_count() # check sig_on/off pairings (virtual doctest) ## line 417 ##

sage: from sage.libs.singular.function import all_singular_poly_wrapper ## line 427 ##

sage: P.<x,y,z> = QQ[] ## line 428 ##

sage: all_singular_poly_wrapper([x+1, y]) ## line 429 ##

True

sage: all_singular_poly_wrapper([x+1, y, 1]) ## line 431 ##

False

sage: sig_on_count() # check sig_on/off pairings (virtual doctest) ## line 433 ##

sage: from sage.libs.singular.function import all_vectors ## line 470 ##

sage: P.<x,y,z> = QQ[] ## line 471 ##

sage: M = P**2 ## line 472 ##

sage: all_vectors([x]) ## line 473 ##

False

sage: all_vectors([(x,y)]) ## line 475 ##

False

sage: all_vectors([M(0), M((x,y))]) ## line 477 ##

True

sage: all_vectors([M(0), M((x,y)),(0,0)]) ## line 479 ##

False

sage: sig_on_count() # check sig_on/off pairings (virtual doctest) ## line 481 ##

sage: from sage.libs.singular.function import Converter ## line 508 ##

sage: P.<a,b,c> = PolynomialRing(GF(127)) ## line 509 ##

sage: Converter([a,b,c],ring=P) ## line 510 ##

Singular Converter in Multivariate Polynomial Ring in a, b, c over Finite Field of size 127

sage: sig_on_count() # check sig_on/off pairings (virtual doctest) ## line 512 ##

sage: from sage.libs.singular.function import Converter ## line 607 ##

sage: P.<a,b,c> = PolynomialRing(GF(127)) ## line 608 ##

sage: Converter([a,b,c],ring=P).ring() ## line 609 ##

Multivariate Polynomial Ring in a, b, c over Finite Field of size 127

sage: sig_on_count() # check sig_on/off pairings (virtual doctest) ## line 611 ##

sage: from sage.libs.singular.function import Converter ## line 618 ##

sage: P.<a,b,c> = PolynomialRing(GF(127)) ## line 619 ##

sage: Converter([a,b,c],ring=P) # indirect doctest ## line 620 ##

Singular Converter in Multivariate Polynomial Ring in a, b, c over Finite Field of size 127

sage: sig_on_count() # check sig_on/off pairings (virtual doctest) ## line 622 ##

sage: from sage.libs.singular.function import Converter ## line 634 ##

sage: P.<a,b,c> = PolynomialRing(GF(127)) ## line 635 ##

sage: len(Converter([a,b,c],ring=P)) ## line 636 ##

sage: sig_on_count() # check sig_on/off pairings (virtual doctest) ## line 638 ##

sage: P.<x,y,z> = QQ[] ## line 938 ##

sage: C= Curve((x-y)*(y-z)*(z-x)); ## line 939 ##

sage: import sage.libs.singular.function_factory ## line 940 ##

sage: sing_genus = sage.libs.singular.function_factory.ff.normal__lib.genus ## line 941 ##

// ** s_internalDelete: cannot delete type $INVALID$(-606348325)

------------------------------------------------------------------------

/mnt/disk/home/buildslave-sage/slave/sage_git/build/local/lib/python2.7/site-packages/sage/ext/interrupt/interrupt.so(+0x38a7)[0x7f5f6e8648a7]

/mnt/disk/home/buildslave-sage/slave/sage_git/build/local/lib/python2.7/site-packages/sage/ext/interrupt/interrupt.so(+0x3a62)[0x7f5f6e864a62]

/mnt/disk/home/buildslave-sage/slave/sage_git/build/local/lib/python2.7/site-packages/sage/ext/interrupt/interrupt.so(+0x33c9)[0x7f5f6e8643c9]

/lib64/libpthread.so.0(+0x109f0)[0x7f5f7af549f0]

/lib64/libc.so.6(cfree+0x22)[0x7f5f7a4fdca2]

/mnt/disk/home/buildslave-sage/slave/sage_git/build/local/lib/libsingular.so(+0x15070d)[0x7f5f50a5670d]

/mnt/disk/home/buildslave-sage/slave/sage_git/build/local/lib/libsingular.so(killhdl2(idrec*, idrec**, sip_sring*)+0x223)[0x7f5f50a5768a]

/mnt/disk/home/buildslave-sage/slave/sage_git/build/local/lib/libsingular.so(killlocals_rec(idrec**, int, sip_sring*)+0x59)[0x7f5f50a5e0c0]

/mnt/disk/home/buildslave-sage/slave/sage_git/build/local/lib/libsingular.so(killlocals_rec(idrec**, int, sip_sring*)+0x10d)[0x7f5f50a5e174]

/mnt/disk/home/buildslave-sage/slave/sage_git/build/local/lib/libsingular.so(killlocals(int)+0x8b)[0x7f5f50a5e328]

/mnt/disk/home/buildslave-sage/slave/sage_git/build/local/lib/libsingular.so(iiPStart(idrec*, sleftv*)+0x408)[0x7f5f50a591d6]

/mnt/disk/home/buildslave-sage/slave/sage_git/build/local/lib/libsingular.so(iiMake_proc(idrec*, sip_package*, sleftv*)+0x23e)[0x7f5f50a595c9]

/mnt/disk/home/buildslave-sage/slave/sage_git/build/local/lib/libsingular.so(+0x154130)[0x7f5f50a5a130]

/mnt/disk/home/buildslave-sage/slave/sage_git/build/local/lib/libsingular.so(iiLoadLIB(_IO_FILE*, char const*, char*, idrec*, int, int)+0x27c)[0x7f5f50a5a3d2]

/mnt/disk/home/buildslave-sage/slave/sage_git/build/local/lib/libsingular.so(iiLibCmd(char*, int, int, int)+0x179)[0x7f5f50a59fa8]

/mnt/disk/home/buildslave-sage/slave/sage_git/build/local/lib/libsingular.so(iiLoadLIB(_IO_FILE*, char const*, char*, idrec*, int, int)+0x2d2)[0x7f5f50a5a428]

/mnt/disk/home/buildslave-sage/slave/sage_git/build/local/lib/libsingular.so(iiLibCmd(char*, int, int, int)+0x179)[0x7f5f50a59fa8]

/mnt/disk/home/buildslave-sage/slave/sage_git/build/local/lib/libsingular.so(iiLoadLIB(_IO_FILE*, char const*, char*, idrec*, int, int)+0x2d2)[0x7f5f50a5a428]

/mnt/disk/home/buildslave-sage/slave/sage_git/build/local/lib/libsingular.so(iiLibCmd(char*, int, int, int)+0x179)[0x7f5f50a59fa8]

/mnt/disk/home/buildslave-sage/slave/sage_git/build/local/lib/libsingular.so(iiLoadLIB(_IO_FILE*, char const*, char*, idrec*, int, int)+0x2d2)[0x7f5f50a5a428]

/mnt/disk/home/buildslave-sage/slave/sage_git/build/local/lib/libsingular.so(iiLibCmd(char*, int, int, int)+0x179)[0x7f5f50a59fa8]

/mnt/disk/home/buildslave-sage/slave/sage_git/build/local/lib/python2.7/site-packages/sage/libs/singular/function.so(+0x359bf)[0x7f5f4f39c9bf]

/mnt/disk/home/buildslave-sage/slave/sage_git/build/local/lib/python2.7/site-packages/sage/libs/singular/function.so(+0x34fcf)[0x7f5f4f39bfcf]

/mnt/disk/home/buildslave-sage/slave/sage_git/build/local/lib/libpython2.7.so.1.0(+0x15a9bd)[0x7f5f7b2bb9bd]

/mnt/disk/home/buildslave-sage/slave/sage_git/build/local/lib/libpython2.7.so.1.0(PyEval_EvalFrameEx+0x7c85)[0x7f5f7b2b6642]

/mnt/disk/home/buildslave-sage/slave/sage_git/build/local/lib/libpython2.7.so.1.0(PyEval_EvalCodeEx+0x113f)[0x7f5f7b2b910b]

/mnt/disk/home/buildslave-sage/slave/sage_git/build/local/lib/libpython2.7.so.1.0(+0x9096f)[0x7f5f7b1f196f]

/mnt/disk/home/buildslave-sage/slave/sage_git/build/local/lib/libpython2.7.so.1.0(PyObject_Call+0x7f)[0x7f5f7b1b1a7c]

/mnt/disk/home/buildslave-sage/slave/sage_git/build/local/lib/libpython2.7.so.1.0(+0x6cb36)[0x7f5f7b1cdb36]

/mnt/disk/home/buildslave-sage/slave/sage_git/build/local/lib/libpython2.7.so.1.0(PyObject_Call+0x7f)[0x7f5f7b1b1a7c]

/mnt/disk/home/buildslave-sage/slave/sage_git/build/local/lib/libpython2.7.so.1.0(PyObject_CallFunctionObjArgs+0xe2)[0x7f5f7b1b2753]

/mnt/disk/home/buildslave-sage/slave/sage_git/build/local/lib/libpython2.7.so.1.0(+0xf1ee2)[0x7f5f7b252ee2]

/mnt/disk/home/buildslave-sage/slave/sage_git/build/local/lib/libpython2.7.so.1.0(+0xf21ad)[0x7f5f7b2531ad]

/mnt/disk/home/buildslave-sage/slave/sage_git/build/local/lib/libpython2.7.so.1.0(PyObject_GetAttr+0xd3)[0x7f5f7b219750]

/mnt/disk/home/buildslave-sage/slave/sage_git/build/local/lib/libpython2.7.so.1.0(PyEval_EvalFrameEx+0x6301)[0x7f5f7b2b4cbe]

/mnt/disk/home/buildslave-sage/slave/sage_git/build/local/lib/libpython2.7.so.1.0(PyEval_EvalCodeEx+0x113f)[0x7f5f7b2b910b]

/mnt/disk/home/buildslave-sage/slave/sage_git/build/local/lib/libpython2.7.so.1.0(PyEval_EvalCode+0x41)[0x7f5f7b2ae998]

/mnt/disk/home/buildslave-sage/slave/sage_git/build/local/lib/libpython2.7.so.1.0(+0x15d71b)[0x7f5f7b2be71b]

/mnt/disk/home/buildslave-sage/slave/sage_git/build/local/lib/libpython2.7.so.1.0(PyEval_EvalFrameEx+0x432d)[0x7f5f7b2b2cea]

/mnt/disk/home/buildslave-sage/slave/sage_git/build/local/lib/libpython2.7.so.1.0(PyEval_EvalCodeEx+0x113f)[0x7f5f7b2b910b]

/mnt/disk/home/buildslave-sage/slave/sage_git/build/local/lib/libpython2.7.so.1.0(+0x15b233)[0x7f5f7b2bc233]

/mnt/disk/home/buildslave-sage/slave/sage_git/build/local/lib/libpython2.7.so.1.0(+0x15ae00)[0x7f5f7b2bbe00]