############################################################ charpent@p-202-021:/usr/local/sage-python3$ sage -t --long --warn-long 54.9 src/sage/crypto/mq/sr.py Running doctests with ID 2019-09-25-13-55-46-2f48cd3b. Git branch: develop Using --optional=build,dochtml,dot2tex,fricas,giacpy_sage,memlimit,python2,sage Doctesting 1 file. sage -t --long --warn-long 54.9 src/sage/crypto/mq/sr.py Killed due to abort ********************************************************************** Tests run before process (pid=21095) failed: sage: sr = mq.SR(1, 1, 1, 4) ## line 29 ## sage: sr.n, sr.r, sr.c, sr.e ## line 37 ## (1, 1, 1, 4) sage: print(sr.R.repr_long()) ## line 42 ## Polynomial Ring Base Ring : Finite Field in a of size 2^4 Size : 20 Variables Block 0 : Ordering : deglex Names : k100, k101, k102, k103, x100, x101, x102, x103, w100, w101, w102, w103, s000, s001, s002, s003, k000, k001, k002, k003 sage: sr.ShiftRows ## line 53 ## [1 0 0 0] [0 1 0 0] [0 0 1 0] [0 0 0 1] sage: sr.MixColumns ## line 61 ## [1 0 0 0] [0 1 0 0] [0 0 1 0] [0 0 0 1] sage: sr.Lin ## line 69 ## [ a^2 + 1 1 a^3 + a^2 a^2 + 1] [ a a 1 a^3 + a^2 + a + 1] [ a^3 + a a^2 a^2 1] [ 1 a^3 a + 1 a + 1] sage: sr.M ## line 77 ## [ a^2 + 1 1 a^3 + a^2 a^2 + 1] [ a a 1 a^3 + a^2 + a + 1] [ a^3 + a a^2 a^2 1] [ 1 a^3 a + 1 a + 1] sage: sr.Mstar ## line 85 ## [ a^2 + 1 1 a^3 + a^2 a^2 + 1] [ a a 1 a^3 + a^2 + a + 1] [ a^3 + a a^2 a^2 1] [ 1 a^3 a + 1 a + 1] sage: sr = mq.SR(10,4,4,8) ## line 94 ## sage: sr.Mstar == ~sr.MixColumns * sr.M ## line 95 ## True sage: sr = mq.SR(1,1,1,4, gf2=True, polybori=True) ## line 101 ## sage: K = sr.base_ring() ## line 102 ## sage: a = K.gen() ## line 103 ## sage: K = [a] ## line 104 ## sage: P = [1] ## line 105 ## sage: F,s = sr.polynomial_system(P=P, K=K) ## line 106 ## terminate called after throwing an instance of 'std::length_error' what(): deque::_M_new_elements_at_back ------------------------------------------------------------------------ /usr/local/sage-python3/local/lib/python3.7/site-packages/cysignals/signals.cpython-37m-x86_64-linux-gnu.so(+0x9228)[0x7f0616e12228] /usr/local/sage-python3/local/lib/python3.7/site-packages/cysignals/signals.cpython-37m-x86_64-linux-gnu.so(+0x92c8)[0x7f0616e122c8] /usr/local/sage-python3/local/lib/python3.7/site-packages/cysignals/signals.cpython-37m-x86_64-linux-gnu.so(+0xce4d)[0x7f0616e15e4d] /lib/x86_64-linux-gnu/libpthread.so.0(+0x13510)[0x7f0618b3c510] /lib/x86_64-linux-gnu/libc.so.6(gsignal+0x141)[0x7f0618852081] /lib/x86_64-linux-gnu/libc.so.6(abort+0x121)[0x7f061883d535] /usr/lib/x86_64-linux-gnu/libstdc++.so.6(+0x9a643)[0x7f0614681643] /usr/lib/x86_64-linux-gnu/libstdc++.so.6(+0xa6066)[0x7f061468d066] /usr/lib/x86_64-linux-gnu/libstdc++.so.6(+0xa60b1)[0x7f061468d0b1] /usr/lib/x86_64-linux-gnu/libstdc++.so.6(+0xa62e5)[0x7f061468d2e5] /usr/lib/x86_64-linux-gnu/libstdc++.so.6(_ZSt20__throw_length_errorPKc+0x3d)[0x7f0614683d94] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/rings/polynomial/pbori.cpython-37m-x86_64-linux-gnu.so(_ZNSt5dequeIN8polybori14CCuddNavigatorESaIS1_EE23_M_new_elements_at_backEm+0xd3)[0x7f05d60235e3] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/rings/polynomial/pbori.cpython-37m-x86_64-linux-gnu.so(_ZNSt5dequeIN8polybori14CCuddNavigatorESaIS1_EE13_M_insert_auxISt15_Deque_iteratorIS1_RKS1_PS6_EEEvS5_IS1_RS1_PS1_ET_SD_m+0x6b6)[0x7f05d6023df6] /usr/local/sage-python3/local/lib/libbrial.so.3(_ZN8polybori13CDegTermStackINS_14CCuddNavigatorENS_9valid_tagENS_11invalid_tagENS_18CAbstractStackBaseIS1_EEE8findTermEm+0x66e)[0x7f05d5f113fe] /usr/local/sage-python3/local/lib/libbrial.so.3(_ZN8polybori13CDegTermStackINS_14CCuddNavigatorENS_9valid_tagENS_11invalid_tagENS_18CAbstractStackBaseIS1_EEE9incrementEv+0x177)[0x7f05d5f11827] /usr/local/sage-python3/local/lib/libbrial.so.3(_ZN8polybori12COrderedIterINS_14CCuddNavigatorENS_13BooleExponentEE9incrementEv+0x7b)[0x7f05d5efbeeb] /usr/local/sage-python3/local/lib/libbrial.so.3(_ZN8polybori14dd_print_termsINS_12COrderedIterINS_14CCuddNavigatorENS_13BooleExponentEEENS_13variable_nameINS_13BoolePolyRingEiPKcEENS_14CStringLiteralILj3EEENSA_ILj4EEENS_17integral_constantIjLj1EjEESoEEvT_SF_RKT0_RKT1_RKT2_RKT3_RT4_+0x242)[0x7f05d5efc522] /usr/local/sage-python3/local/lib/libbrial.so.3(_ZNK8polybori15BoolePolynomial5printERSo+0xa5)[0x7f05d5ef6515] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/rings/polynomial/pbori.cpython-37m-x86_64-linux-gnu.so(+0x803ab)[0x7f05d5fc13ab] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/rings/polynomial/pbori.cpython-37m-x86_64-linux-gnu.so(+0x8052d)[0x7f05d5fc152d] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/structure/sage_object.cpython-37m-x86_64-linux-gnu.so(+0x15e51)[0x7f0617d3ee51] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/structure/sage_object.cpython-37m-x86_64-linux-gnu.so(+0x1d7e8)[0x7f0617d467e8] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyObject_Str+0x6d)[0x7f0618c88a0d] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x127645)[0x7f0618cda645] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0xe9bd5)[0x7f0618c9cbd5] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/structure/category_object.cpython-37m-x86_64-linux-gnu.so(+0xe94b)[0x7f06178ee94b] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyMethodDef_RawFastCallDict+0x2ac)[0x7f0618c46e6c] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x9a58b)[0x7f0618c4d58b] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/misc/cachefunc.cpython-37m-x86_64-linux-gnu.so(+0x1749d)[0x7f06177df49d] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/misc/cachefunc.cpython-37m-x86_64-linux-gnu.so(+0x2a90b)[0x7f06177f290b] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/structure/category_object.cpython-37m-x86_64-linux-gnu.so(+0x10fa8)[0x7f06178f0fa8] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/structure/category_object.cpython-37m-x86_64-linux-gnu.so(+0x13bfb)[0x7f06178f3bfb] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyMethodDef_RawFastCallKeywords+0x2eb)[0x7f0618c4679b] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyCFunction_FastCallKeywords+0x25)[0x7f0618c46845] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x8aa0)[0x7f0618c24120] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f0618c1a4db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x8789)[0x7f0618c23e09] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7f0618d1ba3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallKeywords+0x93)[0x7f0618c46253] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x6a23)[0x7f0618c220a3] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7f0618d1ba3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallKeywords+0x93)[0x7f0618c46253] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x8789)[0x7f0618c23e09] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7f0618d1ba3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallKeywords+0x93)[0x7f0618c46253] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x69cb)[0x7f0618c2204b] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7f0618d1ba3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyEval_EvalCodeEx+0x3e)[0x7f0618d1bcbe] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyEval_EvalCode+0x1b)[0x7f0618d1bceb] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x16626d)[0x7f0618d1926d] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyMethodDef_RawFastCallKeywords+0x285)[0x7f0618c46735] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyCFunction_FastCallKeywords+0x25)[0x7f0618c46845] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x909a)[0x7f0618c2471a] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f0618c1a4db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f0618c22e71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7f0618d1ba3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallKeywords+0x93)[0x7f0618c46253] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f0618c22e71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7f0618d1ba3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallKeywords+0x93)[0x7f0618c46253] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f0618c22e71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f0618c1a4db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f0618c22e71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7f0618d1ba3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallDict+0xae)[0x7f0618c45f8e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyObject_Call_Prepend+0xcd)[0x7f0618c4725d] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0xf1fe5)[0x7f0618ca4fe5] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyObject_FastCallKeywords+0xd3)[0x7f0618c46933] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x44ab)[0x7f0618c1fb2b] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f0618c1a4db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f0618c22e71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f0618c1a4db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f0618c22e71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f0618c1a4db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f0618c22e71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f0618c1a4db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallDict+0x2d2)[0x7f0618c461b2] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyObject_Call_Prepend+0xcd)[0x7f0618c4725d] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0xed4a9)[0x7f0618ca04a9] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0xe9c22)[0x7f0618c9cc22] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyObject_FastCallKeywords+0xd3)[0x7f0618c46933] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x44ab)[0x7f0618c1fb2b] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f0618c1a4db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x8789)[0x7f0618c23e09] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f0618c1a4db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x8789)[0x7f0618c23e09] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f0618c1a4db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x8789)[0x7f0618c23e09] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7f0618d1ba3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallKeywords+0x93)[0x7f0618c46253] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f0618c22e71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7f0618d1ba3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallKeywords+0x93)[0x7f0618c46253] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f0618c22e71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f0618c1a4db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f0618c22e71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f0618c1a4db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f0618c22e71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f0618c1a4db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f0618c22e71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7f0618d1ba3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyEval_EvalCodeEx+0x3e)[0x7f0618d1bcbe] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyEval_EvalCode+0x1b)[0x7f0618d1bceb] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyRun_FileExFlags+0xb2)[0x7f0618d4c0f2] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyRun_SimpleFileExFlags+0xed)[0x7f0618d4c27d] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x1b8402)[0x7f0618d6b402] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_Py_UnixMain+0x39)[0x7f0618d6b649] /lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0xeb)[0x7f061883ebbb] /usr/local/sage-python3/local/bin/python3(_start+0x2a)[0x55fcfeedf08a] ------------------------------------------------------------------------ Attaching gdb to process id 21095. Cannot find gdb installed GDB is not installed. Install gdb for enhanced tracebacks. ------------------------------------------------------------------------ Unhandled SIGABRT: An abort() occurred. This probably occurred because a *compiled* module has a bug in it and is not properly wrapped with sig_on(), sig_off(). Python will now terminate. ------------------------------------------------------------------------ ********************************************************************** ---------------------------------------------------------------------- sage -t --long --warn-long 54.9 src/sage/crypto/mq/sr.py # Killed due to abort ---------------------------------------------------------------------- Total time for all tests: 0.3 seconds cpu time: 0.0 seconds cumulative wall time: 0.0 seconds ############################################################ charpent@p-202-021:/usr/local/sage-python3$ sage -t --long --warn-long 54.9 src/sage/rings/polynomial/multi_polynomial_sequence.py Running doctests with ID 2019-09-25-14-01-22-08470b1c. Git branch: develop Using --optional=build,dochtml,dot2tex,fricas,giacpy_sage,memlimit,python2,sage Doctesting 1 file. sage -t --long --warn-long 54.9 src/sage/rings/polynomial/multi_polynomial_sequence.py Killed due to abort ********************************************************************** Tests run before process (pid=21241) failed: sage: sr = mq.SR(2,1,2,4,gf2=True,polybori=True) ## line 26 ## sage: sr ## line 27 ## SR(2,1,2,4) sage: set_random_seed(1) ## line 33 ## sage: F,s = sr.polynomial_system() ## line 34 ## terminate called after throwing an instance of 'std::length_error' what(): deque::_M_new_elements_at_back ------------------------------------------------------------------------ /usr/local/sage-python3/local/lib/python3.7/site-packages/cysignals/signals.cpython-37m-x86_64-linux-gnu.so(+0x9228)[0x7f7cd7fc5228] /usr/local/sage-python3/local/lib/python3.7/site-packages/cysignals/signals.cpython-37m-x86_64-linux-gnu.so(+0x92c8)[0x7f7cd7fc52c8] /usr/local/sage-python3/local/lib/python3.7/site-packages/cysignals/signals.cpython-37m-x86_64-linux-gnu.so(+0xce4d)[0x7f7cd7fc8e4d] /lib/x86_64-linux-gnu/libpthread.so.0(+0x13510)[0x7f7cd9cef510] /lib/x86_64-linux-gnu/libc.so.6(gsignal+0x141)[0x7f7cd9a05081] /lib/x86_64-linux-gnu/libc.so.6(abort+0x121)[0x7f7cd99f0535] /usr/lib/x86_64-linux-gnu/libstdc++.so.6(+0x9a643)[0x7f7cd5834643] /usr/lib/x86_64-linux-gnu/libstdc++.so.6(+0xa6066)[0x7f7cd5840066] /usr/lib/x86_64-linux-gnu/libstdc++.so.6(+0xa60b1)[0x7f7cd58400b1] /usr/lib/x86_64-linux-gnu/libstdc++.so.6(+0xa62e5)[0x7f7cd58402e5] /usr/lib/x86_64-linux-gnu/libstdc++.so.6(_ZSt20__throw_length_errorPKc+0x3d)[0x7f7cd5836d94] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/rings/polynomial/pbori.cpython-37m-x86_64-linux-gnu.so(_ZNSt5dequeIN8polybori14CCuddNavigatorESaIS1_EE23_M_new_elements_at_backEm+0xd3)[0x7f7c971d65e3] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/rings/polynomial/pbori.cpython-37m-x86_64-linux-gnu.so(_ZNSt5dequeIN8polybori14CCuddNavigatorESaIS1_EE13_M_insert_auxISt15_Deque_iteratorIS1_RKS1_PS6_EEEvS5_IS1_RS1_PS1_ET_SD_m+0x6b6)[0x7f7c971d6df6] /usr/local/sage-python3/local/lib/libbrial.so.3(_ZN8polybori13CDegTermStackINS_14CCuddNavigatorENS_9valid_tagENS_11invalid_tagENS_18CAbstractStackBaseIS1_EEE8findTermEm+0x66e)[0x7f7c970c43fe] /usr/local/sage-python3/local/lib/libbrial.so.3(_ZN8polybori13CDegTermStackINS_14CCuddNavigatorENS_9valid_tagENS_11invalid_tagENS_18CAbstractStackBaseIS1_EEE9incrementEv+0x177)[0x7f7c970c4827] /usr/local/sage-python3/local/lib/libbrial.so.3(_ZN8polybori12COrderedIterINS_14CCuddNavigatorENS_13BooleExponentEE9incrementEv+0x7b)[0x7f7c970aeeeb] /usr/local/sage-python3/local/lib/libbrial.so.3(_ZN8polybori14dd_print_termsINS_12COrderedIterINS_14CCuddNavigatorENS_13BooleExponentEEENS_13variable_nameINS_13BoolePolyRingEiPKcEENS_14CStringLiteralILj3EEENSA_ILj4EEENS_17integral_constantIjLj1EjEESoEEvT_SF_RKT0_RKT1_RKT2_RKT3_RT4_+0x242)[0x7f7c970af522] /usr/local/sage-python3/local/lib/libbrial.so.3(_ZNK8polybori15BoolePolynomial5printERSo+0xa5)[0x7f7c970a9515] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/rings/polynomial/pbori.cpython-37m-x86_64-linux-gnu.so(+0x803ab)[0x7f7c971743ab] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/rings/polynomial/pbori.cpython-37m-x86_64-linux-gnu.so(+0x8052d)[0x7f7c9717452d] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/structure/sage_object.cpython-37m-x86_64-linux-gnu.so(+0x15e51)[0x7f7cd8ef1e51] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/structure/sage_object.cpython-37m-x86_64-linux-gnu.so(+0x1d7e8)[0x7f7cd8ef97e8] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyObject_Str+0x6d)[0x7f7cd9e3ba0d] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x127645)[0x7f7cd9e8d645] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0xe9bd5)[0x7f7cd9e4fbd5] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/structure/category_object.cpython-37m-x86_64-linux-gnu.so(+0xe94b)[0x7f7cd8aa194b] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyMethodDef_RawFastCallDict+0x2ac)[0x7f7cd9df9e6c] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x9a58b)[0x7f7cd9e0058b] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/misc/cachefunc.cpython-37m-x86_64-linux-gnu.so(+0x1749d)[0x7f7cd899249d] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/misc/cachefunc.cpython-37m-x86_64-linux-gnu.so(+0x2a90b)[0x7f7cd89a590b] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/structure/category_object.cpython-37m-x86_64-linux-gnu.so(+0x10fa8)[0x7f7cd8aa3fa8] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/structure/category_object.cpython-37m-x86_64-linux-gnu.so(+0x13bfb)[0x7f7cd8aa6bfb] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyMethodDef_RawFastCallKeywords+0x2eb)[0x7f7cd9df979b] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyCFunction_FastCallKeywords+0x25)[0x7f7cd9df9845] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x8aa0)[0x7f7cd9dd7120] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f7cd9dcd4db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x8789)[0x7f7cd9dd6e09] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7f7cd9ecea3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallKeywords+0x93)[0x7f7cd9df9253] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x6a23)[0x7f7cd9dd50a3] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7f7cd9ecea3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallKeywords+0x93)[0x7f7cd9df9253] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x8789)[0x7f7cd9dd6e09] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7f7cd9ecea3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallKeywords+0x93)[0x7f7cd9df9253] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x8789)[0x7f7cd9dd6e09] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7f7cd9ecea3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyEval_EvalCodeEx+0x3e)[0x7f7cd9ececbe] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyEval_EvalCode+0x1b)[0x7f7cd9ececeb] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x16626d)[0x7f7cd9ecc26d] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyMethodDef_RawFastCallKeywords+0x285)[0x7f7cd9df9735] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyCFunction_FastCallKeywords+0x25)[0x7f7cd9df9845] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x909a)[0x7f7cd9dd771a] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f7cd9dcd4db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f7cd9dd5e71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7f7cd9ecea3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallKeywords+0x93)[0x7f7cd9df9253] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f7cd9dd5e71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7f7cd9ecea3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallKeywords+0x93)[0x7f7cd9df9253] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f7cd9dd5e71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f7cd9dcd4db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f7cd9dd5e71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7f7cd9ecea3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallDict+0xae)[0x7f7cd9df8f8e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyObject_Call_Prepend+0xcd)[0x7f7cd9dfa25d] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0xf1fe5)[0x7f7cd9e57fe5] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyObject_FastCallKeywords+0xd3)[0x7f7cd9df9933] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x44ab)[0x7f7cd9dd2b2b] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f7cd9dcd4db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f7cd9dd5e71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f7cd9dcd4db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f7cd9dd5e71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f7cd9dcd4db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f7cd9dd5e71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f7cd9dcd4db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallDict+0x2d2)[0x7f7cd9df91b2] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyObject_Call_Prepend+0xcd)[0x7f7cd9dfa25d] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0xed4a9)[0x7f7cd9e534a9] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0xe9c22)[0x7f7cd9e4fc22] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyObject_FastCallKeywords+0xd3)[0x7f7cd9df9933] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x44ab)[0x7f7cd9dd2b2b] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f7cd9dcd4db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x8789)[0x7f7cd9dd6e09] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f7cd9dcd4db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x8789)[0x7f7cd9dd6e09] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f7cd9dcd4db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x8789)[0x7f7cd9dd6e09] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7f7cd9ecea3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallKeywords+0x93)[0x7f7cd9df9253] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f7cd9dd5e71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7f7cd9ecea3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallKeywords+0x93)[0x7f7cd9df9253] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f7cd9dd5e71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f7cd9dcd4db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f7cd9dd5e71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f7cd9dcd4db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f7cd9dd5e71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f7cd9dcd4db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f7cd9dd5e71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7f7cd9ecea3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyEval_EvalCodeEx+0x3e)[0x7f7cd9ececbe] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyEval_EvalCode+0x1b)[0x7f7cd9ececeb] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyRun_FileExFlags+0xb2)[0x7f7cd9eff0f2] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyRun_SimpleFileExFlags+0xed)[0x7f7cd9eff27d] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x1b8402)[0x7f7cd9f1e402] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_Py_UnixMain+0x39)[0x7f7cd9f1e649] /lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0xeb)[0x7f7cd99f1bbb] /usr/local/sage-python3/local/bin/python3(_start+0x2a)[0x559a463c808a] ------------------------------------------------------------------------ Attaching gdb to process id 21241. Cannot find gdb installed GDB is not installed. Install gdb for enhanced tracebacks. ------------------------------------------------------------------------ Unhandled SIGABRT: An abort() occurred. This probably occurred because a *compiled* module has a bug in it and is not properly wrapped with sig_on(), sig_off(). Python will now terminate. ------------------------------------------------------------------------ ********************************************************************** ---------------------------------------------------------------------- sage -t --long --warn-long 54.9 src/sage/rings/polynomial/multi_polynomial_sequence.py # Killed due to abort ---------------------------------------------------------------------- Total time for all tests: 0.2 seconds cpu time: 0.0 seconds cumulative wall time: 0.0 seconds ############################################################ charpent@p-202-021:/usr/local/sage-python3$ sage -t --long --warn-long 54.9 src/sage/rings/polynomial/pbori.pyx Running doctests with ID 2019-09-25-14-02-34-10875c4b. Git branch: develop Using --optional=build,dochtml,dot2tex,fricas,giacpy_sage,memlimit,python2,sage Doctesting 1 file. sage -t --long --warn-long 54.9 src/sage/rings/polynomial/pbori.pyx ********************************************************************** File "src/sage/rings/polynomial/pbori.pyx", line 125, in sage.rings.polynomial.pbori Failed example: for f in I2.groebner_basis(): f Exception raised: Traceback (most recent call last): File "/usr/local/sage-python3/local/lib/python3.7/site-packages/sage/doctest/forker.py", line 681, in _run self.compile_and_execute(example, compiler, test.globs) File "/usr/local/sage-python3/local/lib/python3.7/site-packages/sage/doctest/forker.py", line 1123, in compile_and_execute exec(compiled, globs) File "", line 1, in for f in I2.groebner_basis(): File "sage/rings/polynomial/pbori.pyx", line 5062, in sage.rings.polynomial.pbori.BooleanPolynomialIdeal.groebner_basis (build/cythonized/sage/rings/polynomial/pbori.cpp:40800) sig_on() RuntimeError: Aborted Killed due to abort ********************************************************************** Tests run before process (pid=21297) failed: sage: P. = PolynomialRing(GF(2), 5, order='lex') ## line 74 ## sage: I1 = ideal([a*b + c*d + 1, a*c*e + d*e, a*b*e + c*e, b*c + c*d*e + 1]) ## line 75 ## sage: for f in I1.groebner_basis(): f ## line 76 ## a + c^2*d + c + d^2*e b*c + d^3*e^2 + d^3*e + d^2*e^2 + d*e + e + 1 b*e + d*e^2 + d*e + e c*e + d^3*e^2 + d^3*e + d^2*e^2 + d*e d^4*e^2 + d^4*e + d^3*e + d^2*e^2 + d^2*e + d*e + e sage: J = I1 + sage.rings.ideal.FieldIdeal(P) ## line 91 ## sage: for f in J.groebner_basis(): f ## line 92 ## a + d + 1 b + 1 c + 1 d^2 + d e sage: Q = P.quotient( sage.rings.ideal.FieldIdeal(P) ) ## line 112 ## sage: I2 = ideal([Q(f) for f in I1.gens()]) ## line 113 ## sage: for f in I2.groebner_basis(): f ## line 114 ## abar + dbar + 1 bbar + 1 cbar + 1 ebar sage: B. = BooleanPolynomialRing(5, order='lex') ## line 123 ## sage: I2 = ideal([B(f) for f in I1.gens()]) ## line 124 ## sage: for f in I2.groebner_basis(): f ## line 125 ## terminate called after throwing an instance of 'std::bad_alloc' what(): std::bad_alloc sage: from brial import * ## line 156 ## sage: declare_ring([Block('x',2),Block('y',3)],globals()) ## line 157 ## Boolean PolynomialRing in x0, x1, y0, y1, y2 sage: r ## line 159 ## Boolean PolynomialRing in x0, x1, y0, y1, y2 sage: [Variable(i, r) for i in range(r.ngens())] ## line 164 ## [x(0), x(1), y(0), y(1), y(2)] sage: sig_on_count() # check sig_on/off pairings (virtual doctest) ## line 176 ## 0 sage: R. = BooleanPolynomialRing() ## line 272 ## sage: R ## line 273 ## Boolean PolynomialRing in x, y, z sage: p = x*y + x*z + y*z ## line 278 ## sage: x*p ## line 279 ## x*y*z + x*y + x*z sage: R.term_order() ## line 284 ## Lexicographic term order sage: R = BooleanPolynomialRing(5,'x',order='deglex(3),deglex(2)') ## line 289 ## sage: R.term_order() ## line 290 ## Block term order with blocks: (Degree lexicographic term order of length 3, Degree lexicographic term order of length 2) sage: R = BooleanPolynomialRing(3,'x',order='deglex') ## line 297 ## sage: R.term_order() ## line 298 ## Degree lexicographic term order sage: P. = BooleanPolynomialRing(4,order='deglex(2),deglex(2)') ## line 303 ## sage: x0 > x1 ## line 304 ## terminate called recursively ------------------------------------------------------------------------ /usr/local/sage-python3/local/lib/python3.7/site-packages/cysignals/signals.cpython-37m-x86_64-linux-gnu.so(+0x9228)[0x7f0d2effa228] /usr/local/sage-python3/local/lib/python3.7/site-packages/cysignals/signals.cpython-37m-x86_64-linux-gnu.so(+0x92c8)[0x7f0d2effa2c8] /usr/local/sage-python3/local/lib/python3.7/site-packages/cysignals/signals.cpython-37m-x86_64-linux-gnu.so(+0xce4d)[0x7f0d2effde4d] /lib/x86_64-linux-gnu/libpthread.so.0(+0x13510)[0x7f0d30d24510] /lib/x86_64-linux-gnu/libc.so.6(gsignal+0x141)[0x7f0d30a3a081] /lib/x86_64-linux-gnu/libc.so.6(abort+0x121)[0x7f0d30a25535] /usr/lib/x86_64-linux-gnu/libstdc++.so.6(+0xa7f42)[0x7f0d2c876f42] /usr/lib/x86_64-linux-gnu/libstdc++.so.6(+0xa6066)[0x7f0d2c875066] /usr/lib/x86_64-linux-gnu/libstdc++.so.6(+0xa60b1)[0x7f0d2c8750b1] /usr/lib/x86_64-linux-gnu/libstdc++.so.6(+0xa62e5)[0x7f0d2c8752e5] /usr/lib/x86_64-linux-gnu/libstdc++.so.6(_ZSt20__throw_length_errorPKc+0x3d)[0x7f0d2c86bd94] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/rings/polynomial/pbori.cpython-37m-x86_64-linux-gnu.so(_ZNSt5dequeIN8polybori14CCuddNavigatorESaIS1_EE23_M_new_elements_at_backEm+0xd3)[0x7f0cee20a5e3] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/rings/polynomial/pbori.cpython-37m-x86_64-linux-gnu.so(_ZNSt5dequeIN8polybori14CCuddNavigatorESaIS1_EE13_M_insert_auxISt15_Deque_iteratorIS1_RKS1_PS6_EEEvS5_IS1_RS1_PS1_ET_SD_m+0x6b6)[0x7f0cee20adf6] /usr/local/sage-python3/local/lib/libbrial.so.3(_ZN8polybori13CDegTermStackINS_14CCuddNavigatorENS_9valid_tagES2_NS_18CAbstractStackBaseIS1_EEE8findTermEm+0x72c)[0x7f0cee0ca84c] /usr/local/sage-python3/local/lib/libbrial.so.3(_ZN8polybori15CBlockTermStackINS_14CCuddNavigatorENS_9valid_tagENS_18CAbstractStackBaseIS1_EEE14incrementBlockEv+0x262)[0x7f0cee0cb012] /usr/local/sage-python3/local/lib/libbrial.so.3(_ZN8polybori15CBlockTermStackINS_14CCuddNavigatorENS_9valid_tagENS_18CAbstractStackBaseIS1_EEE9incrementEv+0x98)[0x7f0cee0cb378] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/rings/polynomial/pbori.cpython-37m-x86_64-linux-gnu.so(+0xbc74c)[0x7f0cee1e474c] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x16331c)[0x7f0d30efe31c] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/rings/polynomial/pbori.cpython-37m-x86_64-linux-gnu.so(+0x3fe20)[0x7f0cee167e20] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/structure/element.cpython-37m-x86_64-linux-gnu.so(+0x319ee)[0x7f0d2ff6f9ee] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyObject_RichCompare+0xa9)[0x7f0d30e71079] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x7150)[0x7f0d30e0a7d0] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7f0d30f03a3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyEval_EvalCodeEx+0x3e)[0x7f0d30f03cbe] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyEval_EvalCode+0x1b)[0x7f0d30f03ceb] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x16626d)[0x7f0d30f0126d] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyMethodDef_RawFastCallKeywords+0x285)[0x7f0d30e2e735] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyCFunction_FastCallKeywords+0x25)[0x7f0d30e2e845] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x909a)[0x7f0d30e0c71a] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f0d30e024db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f0d30e0ae71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7f0d30f03a3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallKeywords+0x93)[0x7f0d30e2e253] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f0d30e0ae71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7f0d30f03a3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallKeywords+0x93)[0x7f0d30e2e253] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f0d30e0ae71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f0d30e024db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f0d30e0ae71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7f0d30f03a3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallDict+0xae)[0x7f0d30e2df8e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyObject_Call_Prepend+0xcd)[0x7f0d30e2f25d] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0xf1fe5)[0x7f0d30e8cfe5] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyObject_FastCallKeywords+0xd3)[0x7f0d30e2e933] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x44ab)[0x7f0d30e07b2b] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f0d30e024db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f0d30e0ae71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f0d30e024db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f0d30e0ae71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f0d30e024db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f0d30e0ae71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f0d30e024db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallDict+0x2d2)[0x7f0d30e2e1b2] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyObject_Call_Prepend+0xcd)[0x7f0d30e2f25d] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0xed4a9)[0x7f0d30e884a9] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0xe9c22)[0x7f0d30e84c22] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyObject_FastCallKeywords+0xd3)[0x7f0d30e2e933] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x44ab)[0x7f0d30e07b2b] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f0d30e024db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x8789)[0x7f0d30e0be09] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f0d30e024db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x8789)[0x7f0d30e0be09] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f0d30e024db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x8789)[0x7f0d30e0be09] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7f0d30f03a3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallKeywords+0x93)[0x7f0d30e2e253] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f0d30e0ae71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7f0d30f03a3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallKeywords+0x93)[0x7f0d30e2e253] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f0d30e0ae71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f0d30e024db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f0d30e0ae71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f0d30e024db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f0d30e0ae71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f0d30e024db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f0d30e0ae71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7f0d30f03a3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyEval_EvalCodeEx+0x3e)[0x7f0d30f03cbe] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyEval_EvalCode+0x1b)[0x7f0d30f03ceb] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyRun_FileExFlags+0xb2)[0x7f0d30f340f2] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyRun_SimpleFileExFlags+0xed)[0x7f0d30f3427d] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x1b8402)[0x7f0d30f53402] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_Py_UnixMain+0x39)[0x7f0d30f53649] /lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0xeb)[0x7f0d30a26bbb] /usr/local/sage-python3/local/bin/python3(_start+0x2a)[0x55d9f23a608a] ------------------------------------------------------------------------ Attaching gdb to process id 21297. Cannot find gdb installed GDB is not installed. Install gdb for enhanced tracebacks. ------------------------------------------------------------------------ Unhandled SIGABRT: An abort() occurred. This probably occurred because a *compiled* module has a bug in it and is not properly wrapped with sig_on(), sig_off(). Python will now terminate. ------------------------------------------------------------------------ ********************************************************************** ---------------------------------------------------------------------- sage -t --long --warn-long 54.9 src/sage/rings/polynomial/pbori.pyx # Killed due to abort ---------------------------------------------------------------------- Total time for all tests: 0.5 seconds cpu time: 0.0 seconds cumulative wall time: 0.0 seconds ############################################################ charpent@p-202-021:/usr/local/sage-python3$ sage -t --long --warn-long 54.9 src/sage/rings/polynomial/polynomial_ring_constructor.py Running doctests with ID 2019-09-25-14-03-54-fb8e3b80. Git branch: develop Using --optional=build,dochtml,dot2tex,fricas,giacpy_sage,memlimit,python2,sage Doctesting 1 file. sage -t --long --warn-long 54.9 src/sage/rings/polynomial/polynomial_ring_constructor.py Killed due to abort ********************************************************************** Tests run before process (pid=21370) failed: sage: PolynomialRing(QQ, 'w') ## line 126 ## Univariate Polynomial Ring in w over Rational Field sage: PolynomialRing(QQ, name='w') ## line 128 ## Univariate Polynomial Ring in w over Rational Field sage: R. = PolynomialRing(QQ) ## line 134 ## sage: (1 + w)^3 ## line 135 ## w^3 + 3*w^2 + 3*w + 1 sage: PolynomialRing(QQ) ## line 140 ## sage: R. = PolynomialRing(QQ, sparse=True); R ## line 145 ## Sparse Univariate Polynomial Ring in abc over Rational Field sage: R. = PolynomialRing(PolynomialRing(GF(7),'k')); R ## line 148 ## Univariate Polynomial Ring in w over Univariate Polynomial Ring in k over Finite Field of size 7 sage: R. = QQ['y']; R ## line 153 ## Univariate Polynomial Ring in y over Rational Field sage: y^2 + y ## line 155 ## y^2 + y sage: R. = QQ[]; R ## line 161 ## Univariate Polynomial Ring in zz over Rational Field sage: (zz + 1)^2 ## line 163 ## zz^2 + 2*zz + 1 sage: R is PolynomialRing(QQ,'zz') ## line 168 ## True sage: QQ['x'] == QQ['y'] ## line 173 ## False sage: ZxNTL = PolynomialRing(ZZ, 'x', implementation='NTL'); ZxNTL ## line 183 ## Univariate Polynomial Ring in x over Integer Ring (using NTL) sage: ZxFLINT = PolynomialRing(ZZ, 'x', implementation='FLINT'); ZxFLINT ## line 185 ## Univariate Polynomial Ring in x over Integer Ring sage: ZxFLINT is ZZ['x'] ## line 187 ## True sage: ZxFLINT is PolynomialRing(ZZ, 'x') ## line 189 ## True sage: xNTL = ZxNTL.gen() ## line 191 ## sage: xFLINT = ZxFLINT.gen() ## line 192 ## sage: xNTL.parent() ## line 193 ## Univariate Polynomial Ring in x over Integer Ring (using NTL) sage: xFLINT.parent() ## line 195 ## Univariate Polynomial Ring in x over Integer Ring sage: (xNTL + xFLINT^2) ## line 202 ## x^2 + x sage: (xNTL + xFLINT^2).parent() ## line 208 ## Univariate Polynomial Ring in x over Integer Ring sage: Zx = PolynomialRing(ZZ, 'x', implementation='generic'); Zx ## line 213 ## Univariate Polynomial Ring in x over Integer Ring sage: Zx.element_class ## line 215 ## sage: R = PolynomialRing(QQ, 'a,b,c'); R ## line 222 ## Multivariate Polynomial Ring in a, b, c over Rational Field sage: S = PolynomialRing(QQ, ['a','b','c']); S ## line 225 ## Multivariate Polynomial Ring in a, b, c over Rational Field sage: T = PolynomialRing(QQ, ('a','b','c')); T ## line 228 ## Multivariate Polynomial Ring in a, b, c over Rational Field sage: R is S ## line 233 ## True sage: S is T ## line 235 ## True sage: R = PolynomialRing(QQ, 'x,y,z', order='degrevlex'); R ## line 240 ## Multivariate Polynomial Ring in x, y, z over Rational Field sage: S = PolynomialRing(QQ, 'x,y,z', order='invlex'); S ## line 242 ## Multivariate Polynomial Ring in x, y, z over Rational Field sage: S is PolynomialRing(QQ, 'x,y,z', order='invlex') ## line 244 ## True sage: R == S ## line 246 ## False sage: PolynomialRing(QQ,["x"]) ## line 255 ## Univariate Polynomial Ring in x over Rational Field sage: PolynomialRing(QQ,[]) ## line 257 ## Multivariate Polynomial Ring in no variables over Rational Field sage: PolynomialRing(QQ, "x", implementation="singular") ## line 263 ## Multivariate Polynomial Ring in x over Rational Field sage: P. = PolynomialRing(QQ, implementation="singular"); P ## line 265 ## Multivariate Polynomial Ring in x over Rational Field sage: PolynomialRing(QQ, 'x', 10) ## line 276 ## Multivariate Polynomial Ring in x0, x1, x2, x3, x4, x5, x6, x7, x8, x9 over Rational Field sage: PolynomialRing(QQ, 2, 'alpha0') ## line 279 ## Multivariate Polynomial Ring in alpha00, alpha01 over Rational Field sage: PolynomialRing(GF(7), 'y', 5) ## line 282 ## Multivariate Polynomial Ring in y0, y1, y2, y3, y4 over Finite Field of size 7 sage: PolynomialRing(QQ, 'y', 3, sparse=True) ## line 285 ## Multivariate Polynomial Ring in y0, y1, y2 over Rational Field sage: PolynomialRing(QQ,"x",1) ## line 293 ## Multivariate Polynomial Ring in x over Rational Field sage: PolynomialRing(QQ,"x",0) ## line 295 ## Multivariate Polynomial Ring in no variables over Rational Field sage: R = PolynomialRing(ZZ, ['x%s'%p for p in primes(100)]); R ## line 302 ## Multivariate Polynomial Ring in x2, x3, x5, x7, x11, x13, x17, x19, x23, x29, x31, x37, x41, x43, x47, x53, x59, x61, x67, x71, x73, x79, x83, x89, x97 over Integer Ring sage: R.inject_variables() ## line 309 ## Defining x2, x3, x5, x7, x11, x13, x17, x19, x23, x29, x31, x37, x41, x43, x47, x53, x59, x61, x67, x71, x73, x79, x83, x89, x97 sage: (x2 + x41 + x71)^2 ## line 311 ## x2^2 + 2*x2*x41 + x41^2 + 2*x2*x71 + 2*x41*x71 + x71^2 sage: PolynomialRing(ZZ, 3, var_array=['x','y']) ## line 319 ## Multivariate Polynomial Ring in x0, y0, x1, y1, x2, y2 over Integer Ring sage: PolynomialRing(ZZ, 3, var_array='a,b') ## line 321 ## Multivariate Polynomial Ring in a0, b0, a1, b1, a2, b2 over Integer Ring sage: PolynomialRing(ZZ, 2, 3, var_array=('p', 'q')) ## line 326 ## Multivariate Polynomial Ring in p00, q00, p01, q01, p02, q02, p10, q10, p11, q11, p12, q12 over Integer Ring sage: PolynomialRing(ZZ, 2, 3, 4, var_array='m') ## line 328 ## Multivariate Polynomial Ring in m000, m001, m002, m003, m010, m011, m012, m013, m020, m021, m022, m023, m100, m101, m102, m103, m110, m111, m112, m113, m120, m121, m122, m123 over Integer Ring sage: PolynomialRing(ZZ, 2, var_array='m') ## line 335 ## Multivariate Polynomial Ring in m00, m01, m10, m11 over Integer Ring sage: RR["x"] ## line 343 ## Univariate Polynomial Ring in x over Real Field with 53 bits of precision sage: RR["x,y"] ## line 345 ## Multivariate Polynomial Ring in x, y over Real Field with 53 bits of precision sage: P. = RR[]; P ## line 347 ## Multivariate Polynomial Ring in x, y over Real Field with 53 bits of precision sage: R. = PolynomialRing(QQ,2); R ## line 356 ## Multivariate Polynomial Ring in x, y over Rational Field sage: f = x^2 - 2*y^2 ## line 358 ## sage: R._assign_names(['z','w']) ## line 364 ## sage: with localvars(R, ['z','w']): print(f) ## line 371 ## z^2 - 2*w^2 sage: print(f) ## line 377 ## x^2 - 2*y^2 sage: S. = PolynomialRing(QQ, sparse=False) ## line 387 ## sage: R = PolynomialRing(QQbar, 'j', implementation="generic") ## line 395 ## sage: S = PolynomialRing(QQbar, 'j', implementation=None) ## line 396 ## sage: R is S ## line 397 ## True sage: R = PolynomialRing(ZZ['t'], 'j', implementation="generic") ## line 400 ## sage: S = PolynomialRing(ZZ['t'], 'j', implementation=None) ## line 401 ## sage: R is S ## line 402 ## True sage: R = PolynomialRing(QQbar, 'j,k', implementation="generic") ## line 405 ## sage: S = PolynomialRing(QQbar, 'j,k', implementation=None) ## line 406 ## sage: R is S ## line 407 ## True sage: R = PolynomialRing(ZZ, 'j,k', implementation="singular") ## line 410 ## sage: S = PolynomialRing(ZZ, 'j,k', implementation=None) ## line 411 ## sage: R is S ## line 412 ## True sage: R = PolynomialRing(ZZ, 'p', sparse=True, implementation="generic") ## line 415 ## sage: S = PolynomialRing(ZZ, 'p', sparse=True) ## line 416 ## sage: R is S ## line 417 ## True sage: R = PolynomialRing(GF(2), 'j', implementation="generic"); type(R) ## line 422 ## sage: S = PolynomialRing(GF(2), 'j'); type(S) ## line 424 ## sage: R = PolynomialRing(ZZ, 'x,y', implementation="generic"); type(R) ## line 427 ## sage: S = PolynomialRing(ZZ, 'x,y'); type(S) ## line 429 ## sage: R = PolynomialRing(ZZ, 'j', sparse=True); type(R) ## line 435 ## sage: R = PolynomialRing(GF(49), 'j', sparse=True); type(R) ## line 437 ## sage: R. = PolynomialRing(ZZ, implementation='Foo') ## line 443 ## sage: R. = PolynomialRing(GF(2), implementation='GF2X', sparse=True) ## line 447 ## sage: R. = PolynomialRing(ZZ, implementation='FLINT') ## line 451 ## sage: R. = PolynomialRing(QQbar, implementation="whatever") ## line 455 ## sage: R. = PolynomialRing(ZZ['t'], implementation="whatever") ## line 459 ## sage: PolynomialRing(RR, "x,y", implementation="whatever") ## line 463 ## sage: PolynomialRing(RR, name="x", implementation="singular") ## line 467 ## sage: R = Integers(1)['x','y'] ## line 476 ## sage: R.0 == 0 ## line 477 ## True sage: var('t') ## line 482 ## t sage: PolynomialRing(ZZ, name=t) == PolynomialRing(ZZ, name='t') ## line 484 ## True sage: P. = PolynomialRing(RealIntervalField(2)) ## line 490 ## sage: Q. = PolynomialRing(P) ## line 491 ## sage: C = (y-x)^3 ## line 492 ## sage: C(y/2) ## line 493 ## 1.?*y^3 sage: R. = PolynomialRing(RIF,2) ## line 495 ## sage: RIF(-2,1)*x ## line 496 ## 0.?e1*x sage: P. = PolynomialRing(ZZ, "x,y"); P ## line 502 ## Multivariate Polynomial Ring in x, y over Integer Ring sage: P. = ZZ["x,y"]; P ## line 504 ## Multivariate Polynomial Ring in x, y over Integer Ring sage: P. = PolynomialRing(ZZ, 2, "x"); P ## line 506 ## sage: PolynomialRing(4) ## line 513 ## sage: PolynomialRing(QQ, -1) ## line 517 ## sage: PolynomialRing(QQ, 1) ## line 521 ## sage: PolynomialRing(QQ, "x", None) ## line 525 ## sage: PolynomialRing(QQ, "x", "y") ## line 529 ## sage: PolynomialRing(QQ, 1, "x", 2) ## line 533 ## sage: PolynomialRing(QQ, "x", names="x") ## line 537 ## sage: PolynomialRing(QQ, name="x", names="x") ## line 541 ## sage: PolynomialRing(QQ, var_array='x') ## line 545 ## sage: PolynomialRing(QQ, 2, 'x', var_array='x') ## line 549 ## sage: sig_on_count() # check sig_on/off pairings (virtual doctest) ## line 553 ## 0 sage: from sage.rings.polynomial.polynomial_ring_constructor import polynomial_default_category ## line 838 ## sage: polynomial_default_category(Rings(),1) is Algebras(Rings()).Infinite() ## line 839 ## True sage: polynomial_default_category(Rings().Commutative(),1) is Algebras(Rings().Commutative()).Commutative().Infinite() ## line 841 ## True sage: polynomial_default_category(Fields(),1) is EuclideanDomains() & Algebras(Fields()).Infinite() ## line 843 ## True sage: polynomial_default_category(Fields(),2) is UniqueFactorizationDomains() & CommutativeAlgebras(Fields()).Infinite() ## line 845 ## True sage: QQ['t'].category() is EuclideanDomains() & CommutativeAlgebras(QQ.category()).Infinite() ## line 848 ## True sage: QQ['s','t'].category() is UniqueFactorizationDomains() & CommutativeAlgebras(QQ.category()).Infinite() ## line 850 ## True sage: QQ['s']['t'].category() is UniqueFactorizationDomains() & CommutativeAlgebras(QQ['s'].category()).Infinite() ## line 852 ## True sage: sig_on_count() # check sig_on/off pairings (virtual doctest) ## line 854 ## 0 sage: R. = BooleanPolynomialRing() # indirect doctest ## line 893 ## sage: R ## line 894 ## Boolean PolynomialRing in x, y, z sage: p = x*y + x*z + y*z ## line 897 ## sage: x*p ## line 898 ## x*y*z + x*y + x*z sage: R.term_order() ## line 901 ## Lexicographic term order sage: R = BooleanPolynomialRing(5,'x',order='deglex(3),deglex(2)') ## line 904 ## sage: R.term_order() ## line 905 ## Block term order with blocks: (Degree lexicographic term order of length 3, Degree lexicographic term order of length 2) sage: R = BooleanPolynomialRing(3,'x',order='degneglex') ## line 910 ## sage: R.term_order() ## line 911 ## Degree negative lexicographic term order sage: BooleanPolynomialRing(names=('x','y')) ## line 914 ## Boolean PolynomialRing in x, y sage: BooleanPolynomialRing(names='x,y') ## line 917 ## Boolean PolynomialRing in x, y sage: P. = BooleanPolynomialRing(2,order='deglex') ## line 922 ## sage: x > y ## line 923 ## terminate called after throwing an instance of 'std::length_error' what(): deque::_M_new_elements_at_back ------------------------------------------------------------------------ /usr/local/sage-python3/local/lib/python3.7/site-packages/cysignals/signals.cpython-37m-x86_64-linux-gnu.so(+0x9228)[0x7f6c8f5d0228] /usr/local/sage-python3/local/lib/python3.7/site-packages/cysignals/signals.cpython-37m-x86_64-linux-gnu.so(+0x92c8)[0x7f6c8f5d02c8] /usr/local/sage-python3/local/lib/python3.7/site-packages/cysignals/signals.cpython-37m-x86_64-linux-gnu.so(+0xce4d)[0x7f6c8f5d3e4d] /lib/x86_64-linux-gnu/libpthread.so.0(+0x13510)[0x7f6c912fa510] /lib/x86_64-linux-gnu/libc.so.6(gsignal+0x141)[0x7f6c91010081] /lib/x86_64-linux-gnu/libc.so.6(abort+0x121)[0x7f6c90ffb535] /usr/lib/x86_64-linux-gnu/libstdc++.so.6(+0x9a643)[0x7f6c8ce3f643] /usr/lib/x86_64-linux-gnu/libstdc++.so.6(+0xa6066)[0x7f6c8ce4b066] /usr/lib/x86_64-linux-gnu/libstdc++.so.6(+0xa60b1)[0x7f6c8ce4b0b1] /usr/lib/x86_64-linux-gnu/libstdc++.so.6(+0xa62e5)[0x7f6c8ce4b2e5] /usr/lib/x86_64-linux-gnu/libstdc++.so.6(_ZSt20__throw_length_errorPKc+0x3d)[0x7f6c8ce41d94] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/rings/polynomial/pbori.cpython-37m-x86_64-linux-gnu.so(_ZNSt5dequeIN8polybori14CCuddNavigatorESaIS1_EE23_M_new_elements_at_backEm+0xd3)[0x7f6c4e7dd5e3] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/rings/polynomial/pbori.cpython-37m-x86_64-linux-gnu.so(_ZNSt5dequeIN8polybori14CCuddNavigatorESaIS1_EE13_M_insert_auxISt15_Deque_iteratorIS1_RKS1_PS6_EEEvS5_IS1_RS1_PS1_ET_SD_m+0x6b6)[0x7f6c4e7dddf6] /usr/local/sage-python3/local/lib/libbrial.so.3(_ZN8polybori13CDegTermStackINS_14CCuddNavigatorENS_9valid_tagENS_11invalid_tagENS_18CAbstractStackBaseIS1_EEE8findTermEm+0x66e)[0x7f6c4e6cb3fe] /usr/local/sage-python3/local/lib/libbrial.so.3(_ZN8polybori13CDegTermStackINS_14CCuddNavigatorENS_9valid_tagENS_11invalid_tagENS_18CAbstractStackBaseIS1_EEE9incrementEv+0x177)[0x7f6c4e6cb827] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/rings/polynomial/pbori.cpython-37m-x86_64-linux-gnu.so(+0xbc74c)[0x7f6c4e7b774c] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x16331c)[0x7f6c914d431c] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/rings/polynomial/pbori.cpython-37m-x86_64-linux-gnu.so(+0x3fe20)[0x7f6c4e73ae20] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/structure/element.cpython-37m-x86_64-linux-gnu.so(+0x319ee)[0x7f6c905459ee] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyObject_RichCompare+0xa9)[0x7f6c91447079] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x7150)[0x7f6c913e07d0] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7f6c914d9a3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyEval_EvalCodeEx+0x3e)[0x7f6c914d9cbe] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyEval_EvalCode+0x1b)[0x7f6c914d9ceb] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x16626d)[0x7f6c914d726d] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyMethodDef_RawFastCallKeywords+0x285)[0x7f6c91404735] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyCFunction_FastCallKeywords+0x25)[0x7f6c91404845] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x909a)[0x7f6c913e271a] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f6c913d84db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f6c913e0e71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7f6c914d9a3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallKeywords+0x93)[0x7f6c91404253] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f6c913e0e71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7f6c914d9a3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallKeywords+0x93)[0x7f6c91404253] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f6c913e0e71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f6c913d84db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f6c913e0e71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7f6c914d9a3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallDict+0xae)[0x7f6c91403f8e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyObject_Call_Prepend+0xcd)[0x7f6c9140525d] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0xf1fe5)[0x7f6c91462fe5] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyObject_FastCallKeywords+0xd3)[0x7f6c91404933] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x44ab)[0x7f6c913ddb2b] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f6c913d84db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f6c913e0e71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f6c913d84db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f6c913e0e71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f6c913d84db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f6c913e0e71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f6c913d84db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallDict+0x2d2)[0x7f6c914041b2] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyObject_Call_Prepend+0xcd)[0x7f6c9140525d] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0xed4a9)[0x7f6c9145e4a9] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0xe9c22)[0x7f6c9145ac22] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyObject_FastCallKeywords+0xd3)[0x7f6c91404933] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x44ab)[0x7f6c913ddb2b] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f6c913d84db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x8789)[0x7f6c913e1e09] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f6c913d84db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x8789)[0x7f6c913e1e09] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f6c913d84db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x8789)[0x7f6c913e1e09] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7f6c914d9a3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallKeywords+0x93)[0x7f6c91404253] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f6c913e0e71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7f6c914d9a3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallKeywords+0x93)[0x7f6c91404253] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f6c913e0e71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f6c913d84db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f6c913e0e71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f6c913d84db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f6c913e0e71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f6c913d84db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f6c913e0e71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7f6c914d9a3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyEval_EvalCodeEx+0x3e)[0x7f6c914d9cbe] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyEval_EvalCode+0x1b)[0x7f6c914d9ceb] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyRun_FileExFlags+0xb2)[0x7f6c9150a0f2] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyRun_SimpleFileExFlags+0xed)[0x7f6c9150a27d] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x1b8402)[0x7f6c91529402] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_Py_UnixMain+0x39)[0x7f6c91529649] /lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0xeb)[0x7f6c90ffcbbb] /usr/local/sage-python3/local/bin/python3(_start+0x2a)[0x559b8c3c608a] ------------------------------------------------------------------------ Attaching gdb to process id 21370. Cannot find gdb installed GDB is not installed. Install gdb for enhanced tracebacks. ------------------------------------------------------------------------ Unhandled SIGABRT: An abort() occurred. This probably occurred because a *compiled* module has a bug in it and is not properly wrapped with sig_on(), sig_off(). Python will now terminate. ------------------------------------------------------------------------ ********************************************************************** ---------------------------------------------------------------------- sage -t --long --warn-long 54.9 src/sage/rings/polynomial/polynomial_ring_constructor.py # Killed due to abort ---------------------------------------------------------------------- Total time for all tests: 0.3 seconds cpu time: 0.0 seconds cumulative wall time: 0.0 seconds ############################################################ charpent@p-202-021:/usr/local/sage-python3$ sage -t --long --warn-long 54.9 src/sage/sat/solvers/dimacs.py Running doctests with ID 2019-09-25-14-05-33-7f84f11b. Git branch: develop Using --optional=build,dochtml,dot2tex,fricas,giacpy_sage,memlimit,python2,sage Doctesting 1 file. sage -t --long --warn-long 54.9 src/sage/sat/solvers/dimacs.py Killed due to abort ********************************************************************** Tests run before process (pid=21436) failed: sage: from sage.sat.solvers.dimacs import DIMACS ## line 75 ## sage: DIMACS() ## line 76 ## DIMACS Solver: '' sage: sig_on_count() # check sig_on/off pairings (virtual doctest) ## line 78 ## 0 sage: from sage.sat.solvers.dimacs import DIMACS ## line 98 ## sage: DIMACS(command="iliketurtles {input}") ## line 99 ## DIMACS Solver: 'iliketurtles {input}' sage: sig_on_count() # check sig_on/off pairings (virtual doctest) ## line 101 ## 0 sage: from sage.sat.solvers.dimacs import DIMACS ## line 108 ## sage: d = DIMACS(command="iliketurtles {input}") ## line 109 ## sage: del d ## line 110 ## sage: sig_on_count() # check sig_on/off pairings (virtual doctest) ## line 111 ## 0 sage: from sage.sat.solvers.dimacs import DIMACS ## line 127 ## sage: solver = DIMACS() ## line 128 ## sage: solver.var() ## line 129 ## 1 sage: sig_on_count() # check sig_on/off pairings (virtual doctest) ## line 131 ## 0 sage: from sage.sat.solvers.dimacs import DIMACS ## line 141 ## sage: solver = DIMACS() ## line 142 ## sage: solver.var() ## line 143 ## 1 sage: solver.var(decision=True) ## line 145 ## 2 sage: solver.nvars() ## line 147 ## 2 sage: sig_on_count() # check sig_on/off pairings (virtual doctest) ## line 149 ## 0 sage: from sage.sat.solvers.dimacs import DIMACS ## line 168 ## sage: solver = DIMACS() ## line 169 ## sage: solver.var() ## line 170 ## 1 sage: solver.var(decision=True) ## line 172 ## 2 sage: solver.add_clause( (1, -2 , 3) ) ## line 174 ## sage: solver ## line 175 ## DIMACS Solver: '' sage: sig_on_count() # check sig_on/off pairings (virtual doctest) ## line 177 ## 0 sage: from sage.sat.solvers.dimacs import DIMACS ## line 199 ## sage: fn = tmp_filename() ## line 200 ## sage: solver = DIMACS(filename=fn) ## line 201 ## sage: solver.add_clause( (1, -2 , 3) ) ## line 202 ## sage: _ = solver.write() ## line 203 ## sage: for line in open(fn).readlines(): print(line) ## line 204 ## p cnf 3 1 1 -2 3 0 sage: from sage.sat.solvers.dimacs import DIMACS ## line 209 ## sage: fn = tmp_filename() ## line 210 ## sage: solver = DIMACS() ## line 211 ## sage: solver.add_clause( (1, -2 , 3) ) ## line 212 ## sage: _ = solver.write(fn) ## line 213 ## sage: for line in open(fn).readlines(): print(line) ## line 214 ## p cnf 3 1 1 -2 3 0 sage: sig_on_count() # check sig_on/off pairings (virtual doctest) ## line 218 ## 0 sage: from sage.sat.solvers.dimacs import DIMACS ## line 257 ## sage: fn = tmp_filename() ## line 258 ## sage: solver = DIMACS() ## line 259 ## sage: solver.add_clause( (1, 2, 3) ) ## line 260 ## sage: solver.clauses() ## line 261 ## [((1, 2, 3), False, None)] sage: solver.add_clause( (1, 2, -3) ) ## line 264 ## sage: solver.clauses(fn) ## line 265 ## sage: print(open(fn).read()) ## line 266 ## p cnf 3 2 1 2 3 0 1 2 -3 0 sage: sig_on_count() # check sig_on/off pairings (virtual doctest) ## line 271 ## 0 sage: from sage.sat.solvers.dimacs import DIMACS ## line 311 ## sage: fn = tmp_filename() ## line 312 ## sage: solver = DIMACS() ## line 313 ## sage: solver.add_clause( (1, 2, -3) ) ## line 314 ## sage: DIMACS.render_dimacs(solver.clauses(), fn, solver.nvars()) ## line 315 ## sage: print(open(fn).read()) ## line 316 ## p cnf 3 1 1 2 -3 0 sage: solver.clauses(fn) ## line 323 ## sage: print(open(fn).read()) ## line 324 ## p cnf 3 1 1 2 -3 0 sage: DIMACS.render_dimacs([ (1,2), (1,2,-3) ], fn, 3) ## line 331 ## sage: print(open(fn).read()) ## line 332 ## p cnf 3 2 1 2 0 1 2 -3 0 sage: sig_on_count() # check sig_on/off pairings (virtual doctest) ## line 337 ## 0 sage: from sage.sat.solvers.dimacs import DIMACS ## line 366 ## sage: fn = tmp_filename() ## line 367 ## sage: solver = DIMACS(filename=fn) ## line 368 ## sage: solver.add_clause( (1, -2 , 3) ) ## line 369 ## sage: solver() ## line 370 ## sage: sig_on_count() # check sig_on/off pairings (virtual doctest) ## line 374 ## 0 sage: from sage.sat.boolean_polynomials import solve as solve_sat ## line 442 ## sage: F,s = mq.SR(1,1,1,4,gf2=True,polybori=True).polynomial_system() ## line 443 ## terminate called after throwing an instance of 'std::length_error' what(): deque::_M_new_elements_at_back ------------------------------------------------------------------------ /usr/local/sage-python3/local/lib/python3.7/site-packages/cysignals/signals.cpython-37m-x86_64-linux-gnu.so(+0x9228)[0x7febcd6dc228] /usr/local/sage-python3/local/lib/python3.7/site-packages/cysignals/signals.cpython-37m-x86_64-linux-gnu.so(+0x92c8)[0x7febcd6dc2c8] /usr/local/sage-python3/local/lib/python3.7/site-packages/cysignals/signals.cpython-37m-x86_64-linux-gnu.so(+0xce4d)[0x7febcd6dfe4d] /lib/x86_64-linux-gnu/libpthread.so.0(+0x13510)[0x7febcf406510] /lib/x86_64-linux-gnu/libc.so.6(gsignal+0x141)[0x7febcf11c081] /lib/x86_64-linux-gnu/libc.so.6(abort+0x121)[0x7febcf107535] /usr/lib/x86_64-linux-gnu/libstdc++.so.6(+0x9a643)[0x7febcc0da643] /usr/lib/x86_64-linux-gnu/libstdc++.so.6(+0xa6066)[0x7febcc0e6066] /usr/lib/x86_64-linux-gnu/libstdc++.so.6(+0xa60b1)[0x7febcc0e60b1] /usr/lib/x86_64-linux-gnu/libstdc++.so.6(+0xa62e5)[0x7febcc0e62e5] /usr/lib/x86_64-linux-gnu/libstdc++.so.6(_ZSt20__throw_length_errorPKc+0x3d)[0x7febcc0dcd94] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/rings/polynomial/pbori.cpython-37m-x86_64-linux-gnu.so(_ZNSt5dequeIN8polybori14CCuddNavigatorESaIS1_EE23_M_new_elements_at_backEm+0xd3)[0x7feb8c8ed5e3] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/rings/polynomial/pbori.cpython-37m-x86_64-linux-gnu.so(_ZNSt5dequeIN8polybori14CCuddNavigatorESaIS1_EE13_M_insert_auxISt15_Deque_iteratorIS1_RKS1_PS6_EEEvS5_IS1_RS1_PS1_ET_SD_m+0x6b6)[0x7feb8c8eddf6] /usr/local/sage-python3/local/lib/libbrial.so.3(_ZN8polybori13CDegTermStackINS_14CCuddNavigatorENS_9valid_tagENS_11invalid_tagENS_18CAbstractStackBaseIS1_EEE8findTermEm+0x66e)[0x7feb8c7db3fe] /usr/local/sage-python3/local/lib/libbrial.so.3(_ZN8polybori13CDegTermStackINS_14CCuddNavigatorENS_9valid_tagENS_11invalid_tagENS_18CAbstractStackBaseIS1_EEE9incrementEv+0x177)[0x7feb8c7db827] /usr/local/sage-python3/local/lib/libbrial.so.3(_ZN8polybori12COrderedIterINS_14CCuddNavigatorENS_13BooleExponentEE9incrementEv+0x7b)[0x7feb8c7c5eeb] /usr/local/sage-python3/local/lib/libbrial.so.3(_ZN8polybori14dd_print_termsINS_12COrderedIterINS_14CCuddNavigatorENS_13BooleExponentEEENS_13variable_nameINS_13BoolePolyRingEiPKcEENS_14CStringLiteralILj3EEENSA_ILj4EEENS_17integral_constantIjLj1EjEESoEEvT_SF_RKT0_RKT1_RKT2_RKT3_RT4_+0x242)[0x7feb8c7c6522] /usr/local/sage-python3/local/lib/libbrial.so.3(_ZNK8polybori15BoolePolynomial5printERSo+0xa5)[0x7feb8c7c0515] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/rings/polynomial/pbori.cpython-37m-x86_64-linux-gnu.so(+0x803ab)[0x7feb8c88b3ab] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/rings/polynomial/pbori.cpython-37m-x86_64-linux-gnu.so(+0x8052d)[0x7feb8c88b52d] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/structure/sage_object.cpython-37m-x86_64-linux-gnu.so(+0x15e51)[0x7febce608e51] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/structure/sage_object.cpython-37m-x86_64-linux-gnu.so(+0x1d7e8)[0x7febce6107e8] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyObject_Str+0x6d)[0x7febcf552a0d] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x127645)[0x7febcf5a4645] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0xe9bd5)[0x7febcf566bd5] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/structure/category_object.cpython-37m-x86_64-linux-gnu.so(+0xe94b)[0x7febce1b894b] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyMethodDef_RawFastCallDict+0x2ac)[0x7febcf510e6c] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x9a58b)[0x7febcf51758b] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/misc/cachefunc.cpython-37m-x86_64-linux-gnu.so(+0x1749d)[0x7febce0a949d] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/misc/cachefunc.cpython-37m-x86_64-linux-gnu.so(+0x2a90b)[0x7febce0bc90b] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/structure/category_object.cpython-37m-x86_64-linux-gnu.so(+0x10fa8)[0x7febce1bafa8] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/structure/category_object.cpython-37m-x86_64-linux-gnu.so(+0x13bfb)[0x7febce1bdbfb] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyMethodDef_RawFastCallKeywords+0x2eb)[0x7febcf51079b] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyCFunction_FastCallKeywords+0x25)[0x7febcf510845] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x8aa0)[0x7febcf4ee120] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7febcf4e44db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x8789)[0x7febcf4ede09] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7febcf5e5a3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallKeywords+0x93)[0x7febcf510253] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x6a23)[0x7febcf4ec0a3] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7febcf5e5a3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallKeywords+0x93)[0x7febcf510253] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x8789)[0x7febcf4ede09] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7febcf5e5a3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallKeywords+0x93)[0x7febcf510253] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x8789)[0x7febcf4ede09] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7febcf5e5a3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyEval_EvalCodeEx+0x3e)[0x7febcf5e5cbe] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyEval_EvalCode+0x1b)[0x7febcf5e5ceb] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x16626d)[0x7febcf5e326d] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyMethodDef_RawFastCallKeywords+0x285)[0x7febcf510735] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyCFunction_FastCallKeywords+0x25)[0x7febcf510845] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x909a)[0x7febcf4ee71a] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7febcf4e44db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7febcf4ece71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7febcf5e5a3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallKeywords+0x93)[0x7febcf510253] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7febcf4ece71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7febcf5e5a3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallKeywords+0x93)[0x7febcf510253] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7febcf4ece71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7febcf4e44db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7febcf4ece71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7febcf5e5a3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallDict+0xae)[0x7febcf50ff8e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyObject_Call_Prepend+0xcd)[0x7febcf51125d] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0xf1fe5)[0x7febcf56efe5] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyObject_FastCallKeywords+0xd3)[0x7febcf510933] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x44ab)[0x7febcf4e9b2b] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7febcf4e44db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7febcf4ece71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7febcf4e44db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7febcf4ece71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7febcf4e44db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7febcf4ece71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7febcf4e44db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallDict+0x2d2)[0x7febcf5101b2] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyObject_Call_Prepend+0xcd)[0x7febcf51125d] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0xed4a9)[0x7febcf56a4a9] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0xe9c22)[0x7febcf566c22] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyObject_FastCallKeywords+0xd3)[0x7febcf510933] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x44ab)[0x7febcf4e9b2b] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7febcf4e44db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x8789)[0x7febcf4ede09] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7febcf4e44db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x8789)[0x7febcf4ede09] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7febcf4e44db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x8789)[0x7febcf4ede09] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7febcf5e5a3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallKeywords+0x93)[0x7febcf510253] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7febcf4ece71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7febcf5e5a3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallKeywords+0x93)[0x7febcf510253] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7febcf4ece71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7febcf4e44db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7febcf4ece71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7febcf4e44db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7febcf4ece71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7febcf4e44db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7febcf4ece71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7febcf5e5a3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyEval_EvalCodeEx+0x3e)[0x7febcf5e5cbe] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyEval_EvalCode+0x1b)[0x7febcf5e5ceb] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyRun_FileExFlags+0xb2)[0x7febcf6160f2] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyRun_SimpleFileExFlags+0xed)[0x7febcf61627d] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x1b8402)[0x7febcf635402] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_Py_UnixMain+0x39)[0x7febcf635649] /lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0xeb)[0x7febcf108bbb] /usr/local/sage-python3/local/bin/python3(_start+0x2a)[0x55f37ad1008a] ------------------------------------------------------------------------ Attaching gdb to process id 21436. Cannot find gdb installed GDB is not installed. Install gdb for enhanced tracebacks. ------------------------------------------------------------------------ Unhandled SIGABRT: An abort() occurred. This probably occurred because a *compiled* module has a bug in it and is not properly wrapped with sig_on(), sig_off(). Python will now terminate. ------------------------------------------------------------------------ ********************************************************************** ---------------------------------------------------------------------- sage -t --long --warn-long 54.9 src/sage/sat/solvers/dimacs.py # Killed due to abort ---------------------------------------------------------------------- Total time for all tests: 0.2 seconds cpu time: 0.0 seconds cumulative wall time: 0.0 seconds ############################################################ charpent@p-202-021:/usr/local/sage-python3$ sage -t --long --warn-long 54.9 src/doc/en/reference/sat/index.rst Running doctests with ID 2019-09-25-14-07-20-8c416042. Git branch: develop Using --optional=build,dochtml,dot2tex,fricas,giacpy_sage,memlimit,python2,sage Doctesting 1 file. sage -t --long --warn-long 54.9 src/doc/en/reference/sat/index.rst Killed due to abort ********************************************************************** Tests run before process (pid=21500) failed: sage: solver = SAT() ## line 38 ## sage: solver.add_clause( ( 1, 2, 3) ) ## line 39 ## sage: solver.add_clause( ( 1, 2, -3) ) ## line 40 ## sage: solver() # random ## line 41 ## [None, True, False, False] sage: sig_on_count() # check sig_on/off pairings (virtual doctest) ## line 44 ## 0 sage: from sage.sat.solvers.dimacs import DIMACS ## line 53 ## sage: fn = tmp_filename() ## line 54 ## sage: solver = DIMACS(filename=fn) ## line 55 ## sage: solver.add_clause( ( 1, 2, 3) ) ## line 56 ## sage: solver.add_clause( ( 1, 2, -3) ) ## line 57 ## sage: _ = solver.write() ## line 58 ## sage: for line in open(fn).readlines(): print(line) ## line 59 ## p cnf 3 2 1 2 3 0 1 2 -3 0 sage: sig_on_count() # check sig_on/off pairings (virtual doctest) ## line 65 ## 0 sage: from sage.sat.solvers.dimacs import DIMACS ## line 67 ## sage: fn = tmp_filename() ## line 68 ## sage: solver = DIMACS() ## line 69 ## sage: solver.add_clause( ( 1, 2, 3) ) ## line 70 ## sage: solver.add_clause( ( 1, 2, -3) ) ## line 71 ## sage: solver.clauses(fn) ## line 72 ## sage: for line in open(fn).readlines(): print(line) ## line 73 ## p cnf 3 2 1 2 3 0 1 2 -3 0 sage: sig_on_count() # check sig_on/off pairings (virtual doctest) ## line 79 ## 0 sage: B. = BooleanPolynomialRing() ## line 99 ## sage: from sage.sat.converters.polybori import CNFEncoder ## line 100 ## sage: from sage.sat.solvers.dimacs import DIMACS ## line 101 ## sage: fn = tmp_filename() ## line 102 ## sage: solver = DIMACS(filename=fn) ## line 103 ## sage: e = CNFEncoder(solver, B) ## line 104 ## sage: e.clauses_sparse(a*b + a + 1) ## line 105 ## sage: _ = solver.write() ## line 106 ## sage: print(open(fn).read()) ## line 107 ## p cnf 3 2 -2 0 1 0 sage: sig_on_count() # check sig_on/off pairings (virtual doctest) ## line 113 ## 0 sage: sr = mq.SR(1,1,1,4,gf2=True,polybori=True) ## line 126 ## sage: F,s = sr.polynomial_system() ## line 127 ## terminate called after throwing an instance of 'std::length_error' what(): deque::_M_new_elements_at_back ------------------------------------------------------------------------ /usr/local/sage-python3/local/lib/python3.7/site-packages/cysignals/signals.cpython-37m-x86_64-linux-gnu.so(+0x9228)[0x7fdf4c1bc228] /usr/local/sage-python3/local/lib/python3.7/site-packages/cysignals/signals.cpython-37m-x86_64-linux-gnu.so(+0x92c8)[0x7fdf4c1bc2c8] /usr/local/sage-python3/local/lib/python3.7/site-packages/cysignals/signals.cpython-37m-x86_64-linux-gnu.so(+0xce4d)[0x7fdf4c1bfe4d] /lib/x86_64-linux-gnu/libpthread.so.0(+0x13510)[0x7fdf4dee6510] /lib/x86_64-linux-gnu/libc.so.6(gsignal+0x141)[0x7fdf4dbfc081] /lib/x86_64-linux-gnu/libc.so.6(abort+0x121)[0x7fdf4dbe7535] /usr/lib/x86_64-linux-gnu/libstdc++.so.6(+0x9a643)[0x7fdf45a2b643] /usr/lib/x86_64-linux-gnu/libstdc++.so.6(+0xa6066)[0x7fdf45a37066] /usr/lib/x86_64-linux-gnu/libstdc++.so.6(+0xa60b1)[0x7fdf45a370b1] /usr/lib/x86_64-linux-gnu/libstdc++.so.6(+0xa62e5)[0x7fdf45a372e5] /usr/lib/x86_64-linux-gnu/libstdc++.so.6(_ZSt20__throw_length_errorPKc+0x3d)[0x7fdf45a2dd94] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/rings/polynomial/pbori.cpython-37m-x86_64-linux-gnu.so(_ZNSt5dequeIN8polybori14CCuddNavigatorESaIS1_EE23_M_new_elements_at_backEm+0xd3)[0x7fdf0b3cd5e3] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/rings/polynomial/pbori.cpython-37m-x86_64-linux-gnu.so(_ZNSt5dequeIN8polybori14CCuddNavigatorESaIS1_EE13_M_insert_auxISt15_Deque_iteratorIS1_RKS1_PS6_EEEvS5_IS1_RS1_PS1_ET_SD_m+0x6b6)[0x7fdf0b3cddf6] /usr/local/sage-python3/local/lib/libbrial.so.3(_ZN8polybori13CDegTermStackINS_14CCuddNavigatorENS_9valid_tagENS_11invalid_tagENS_18CAbstractStackBaseIS1_EEE8findTermEm+0x66e)[0x7fdf0b2bb3fe] /usr/local/sage-python3/local/lib/libbrial.so.3(_ZN8polybori13CDegTermStackINS_14CCuddNavigatorENS_9valid_tagENS_11invalid_tagENS_18CAbstractStackBaseIS1_EEE9incrementEv+0x177)[0x7fdf0b2bb827] /usr/local/sage-python3/local/lib/libbrial.so.3(_ZN8polybori12COrderedIterINS_14CCuddNavigatorENS_13BooleExponentEE9incrementEv+0x7b)[0x7fdf0b2a5eeb] /usr/local/sage-python3/local/lib/libbrial.so.3(_ZN8polybori14dd_print_termsINS_12COrderedIterINS_14CCuddNavigatorENS_13BooleExponentEEENS_13variable_nameINS_13BoolePolyRingEiPKcEENS_14CStringLiteralILj3EEENSA_ILj4EEENS_17integral_constantIjLj1EjEESoEEvT_SF_RKT0_RKT1_RKT2_RKT3_RT4_+0x242)[0x7fdf0b2a6522] /usr/local/sage-python3/local/lib/libbrial.so.3(_ZNK8polybori15BoolePolynomial5printERSo+0xa5)[0x7fdf0b2a0515] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/rings/polynomial/pbori.cpython-37m-x86_64-linux-gnu.so(+0x803ab)[0x7fdf0b36b3ab] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/rings/polynomial/pbori.cpython-37m-x86_64-linux-gnu.so(+0x8052d)[0x7fdf0b36b52d] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/structure/sage_object.cpython-37m-x86_64-linux-gnu.so(+0x15e51)[0x7fdf4d0e8e51] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/structure/sage_object.cpython-37m-x86_64-linux-gnu.so(+0x1d7e8)[0x7fdf4d0f07e8] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyObject_Str+0x6d)[0x7fdf4e032a0d] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x127645)[0x7fdf4e084645] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0xe9bd5)[0x7fdf4e046bd5] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/structure/category_object.cpython-37m-x86_64-linux-gnu.so(+0xe94b)[0x7fdf4cc9894b] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyMethodDef_RawFastCallDict+0x2ac)[0x7fdf4dff0e6c] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x9a58b)[0x7fdf4dff758b] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/misc/cachefunc.cpython-37m-x86_64-linux-gnu.so(+0x1749d)[0x7fdf4cb8949d] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/misc/cachefunc.cpython-37m-x86_64-linux-gnu.so(+0x2a90b)[0x7fdf4cb9c90b] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/structure/category_object.cpython-37m-x86_64-linux-gnu.so(+0x10fa8)[0x7fdf4cc9afa8] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/structure/category_object.cpython-37m-x86_64-linux-gnu.so(+0x13bfb)[0x7fdf4cc9dbfb] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyMethodDef_RawFastCallKeywords+0x2eb)[0x7fdf4dff079b] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyCFunction_FastCallKeywords+0x25)[0x7fdf4dff0845] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x8aa0)[0x7fdf4dfce120] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7fdf4dfc44db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x8789)[0x7fdf4dfcde09] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7fdf4e0c5a3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallKeywords+0x93)[0x7fdf4dff0253] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x6a23)[0x7fdf4dfcc0a3] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7fdf4e0c5a3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallKeywords+0x93)[0x7fdf4dff0253] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x8789)[0x7fdf4dfcde09] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7fdf4e0c5a3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallKeywords+0x93)[0x7fdf4dff0253] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x8789)[0x7fdf4dfcde09] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7fdf4e0c5a3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyEval_EvalCodeEx+0x3e)[0x7fdf4e0c5cbe] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyEval_EvalCode+0x1b)[0x7fdf4e0c5ceb] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x16626d)[0x7fdf4e0c326d] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyMethodDef_RawFastCallKeywords+0x285)[0x7fdf4dff0735] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyCFunction_FastCallKeywords+0x25)[0x7fdf4dff0845] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x909a)[0x7fdf4dfce71a] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7fdf4dfc44db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7fdf4dfcce71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7fdf4e0c5a3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallKeywords+0x93)[0x7fdf4dff0253] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7fdf4dfcce71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7fdf4e0c5a3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallKeywords+0x93)[0x7fdf4dff0253] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7fdf4dfcce71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7fdf4dfc44db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7fdf4dfcce71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7fdf4e0c5a3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallDict+0xae)[0x7fdf4dfeff8e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyObject_Call_Prepend+0xcd)[0x7fdf4dff125d] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0xf1fe5)[0x7fdf4e04efe5] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyObject_FastCallKeywords+0xd3)[0x7fdf4dff0933] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x44ab)[0x7fdf4dfc9b2b] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7fdf4dfc44db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7fdf4dfcce71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7fdf4dfc44db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7fdf4dfcce71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7fdf4dfc44db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7fdf4dfcce71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7fdf4dfc44db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallDict+0x2d2)[0x7fdf4dff01b2] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyObject_Call_Prepend+0xcd)[0x7fdf4dff125d] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0xed4a9)[0x7fdf4e04a4a9] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0xe9c22)[0x7fdf4e046c22] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyObject_FastCallKeywords+0xd3)[0x7fdf4dff0933] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x44ab)[0x7fdf4dfc9b2b] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7fdf4dfc44db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x8789)[0x7fdf4dfcde09] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7fdf4dfc44db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x8789)[0x7fdf4dfcde09] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7fdf4dfc44db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x8789)[0x7fdf4dfcde09] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7fdf4e0c5a3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallKeywords+0x93)[0x7fdf4dff0253] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7fdf4dfcce71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7fdf4e0c5a3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallKeywords+0x93)[0x7fdf4dff0253] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7fdf4dfcce71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7fdf4dfc44db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7fdf4dfcce71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7fdf4dfc44db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7fdf4dfcce71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7fdf4dfc44db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7fdf4dfcce71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7fdf4e0c5a3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyEval_EvalCodeEx+0x3e)[0x7fdf4e0c5cbe] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyEval_EvalCode+0x1b)[0x7fdf4e0c5ceb] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyRun_FileExFlags+0xb2)[0x7fdf4e0f60f2] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyRun_SimpleFileExFlags+0xed)[0x7fdf4e0f627d] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x1b8402)[0x7fdf4e115402] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_Py_UnixMain+0x39)[0x7fdf4e115649] /lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0xeb)[0x7fdf4dbe8bbb] /usr/local/sage-python3/local/bin/python3(_start+0x2a)[0x55577a7d708a] ------------------------------------------------------------------------ Attaching gdb to process id 21500. Cannot find gdb installed GDB is not installed. Install gdb for enhanced tracebacks. ------------------------------------------------------------------------ Unhandled SIGABRT: An abort() occurred. This probably occurred because a *compiled* module has a bug in it and is not properly wrapped with sig_on(), sig_off(). Python will now terminate. ------------------------------------------------------------------------ ********************************************************************** ---------------------------------------------------------------------- sage -t --long --warn-long 54.9 src/doc/en/reference/sat/index.rst # Killed due to abort ---------------------------------------------------------------------- Total time for all tests: 0.2 seconds cpu time: 0.0 seconds cumulative wall time: 0.0 seconds ############################################################ charpent@p-202-021:/usr/local/sage-python3$ sage -t --long --warn-long 54.9 src/sage/sat/boolean_polynomials.py Running doctests with ID 2019-09-25-14-08-27-7519562e. Git branch: develop Using --optional=build,dochtml,dot2tex,fricas,giacpy_sage,memlimit,python2,sage Doctesting 1 file. sage -t --long --warn-long 54.9 src/sage/sat/boolean_polynomials.py Killed due to abort ********************************************************************** Tests run before process (pid=21558) failed: sage: sr = mq.SR(1,1,1,4,gf2=True,polybori=True) ## line 77 ## sage: F,s = sr.polynomial_system() ## line 78 ## terminate called after throwing an instance of 'std::length_error' what(): deque::_M_new_elements_at_back ------------------------------------------------------------------------ /usr/local/sage-python3/local/lib/python3.7/site-packages/cysignals/signals.cpython-37m-x86_64-linux-gnu.so(+0x9228)[0x7f437d99b228] /usr/local/sage-python3/local/lib/python3.7/site-packages/cysignals/signals.cpython-37m-x86_64-linux-gnu.so(+0x92c8)[0x7f437d99b2c8] /usr/local/sage-python3/local/lib/python3.7/site-packages/cysignals/signals.cpython-37m-x86_64-linux-gnu.so(+0xce4d)[0x7f437d99ee4d] /lib/x86_64-linux-gnu/libpthread.so.0(+0x13510)[0x7f437f6c5510] /lib/x86_64-linux-gnu/libc.so.6(gsignal+0x141)[0x7f437f3db081] /lib/x86_64-linux-gnu/libc.so.6(abort+0x121)[0x7f437f3c6535] /usr/lib/x86_64-linux-gnu/libstdc++.so.6(+0x9a643)[0x7f43771d3643] /usr/lib/x86_64-linux-gnu/libstdc++.so.6(+0xa6066)[0x7f43771df066] /usr/lib/x86_64-linux-gnu/libstdc++.so.6(+0xa60b1)[0x7f43771df0b1] /usr/lib/x86_64-linux-gnu/libstdc++.so.6(+0xa62e5)[0x7f43771df2e5] /usr/lib/x86_64-linux-gnu/libstdc++.so.6(_ZSt20__throw_length_errorPKc+0x3d)[0x7f43771d5d94] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/rings/polynomial/pbori.cpython-37m-x86_64-linux-gnu.so(_ZNSt5dequeIN8polybori14CCuddNavigatorESaIS1_EE23_M_new_elements_at_backEm+0xd3)[0x7f433cbab5e3] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/rings/polynomial/pbori.cpython-37m-x86_64-linux-gnu.so(_ZNSt5dequeIN8polybori14CCuddNavigatorESaIS1_EE13_M_insert_auxISt15_Deque_iteratorIS1_RKS1_PS6_EEEvS5_IS1_RS1_PS1_ET_SD_m+0x6b6)[0x7f433cbabdf6] /usr/local/sage-python3/local/lib/libbrial.so.3(_ZN8polybori13CDegTermStackINS_14CCuddNavigatorENS_9valid_tagENS_11invalid_tagENS_18CAbstractStackBaseIS1_EEE8findTermEm+0x66e)[0x7f433ca993fe] /usr/local/sage-python3/local/lib/libbrial.so.3(_ZN8polybori13CDegTermStackINS_14CCuddNavigatorENS_9valid_tagENS_11invalid_tagENS_18CAbstractStackBaseIS1_EEE9incrementEv+0x177)[0x7f433ca99827] /usr/local/sage-python3/local/lib/libbrial.so.3(_ZN8polybori12COrderedIterINS_14CCuddNavigatorENS_13BooleExponentEE9incrementEv+0x7b)[0x7f433ca83eeb] /usr/local/sage-python3/local/lib/libbrial.so.3(_ZN8polybori14dd_print_termsINS_12COrderedIterINS_14CCuddNavigatorENS_13BooleExponentEEENS_13variable_nameINS_13BoolePolyRingEiPKcEENS_14CStringLiteralILj3EEENSA_ILj4EEENS_17integral_constantIjLj1EjEESoEEvT_SF_RKT0_RKT1_RKT2_RKT3_RT4_+0x242)[0x7f433ca84522] /usr/local/sage-python3/local/lib/libbrial.so.3(_ZNK8polybori15BoolePolynomial5printERSo+0xa5)[0x7f433ca7e515] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/rings/polynomial/pbori.cpython-37m-x86_64-linux-gnu.so(+0x803ab)[0x7f433cb493ab] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/rings/polynomial/pbori.cpython-37m-x86_64-linux-gnu.so(+0x8052d)[0x7f433cb4952d] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/structure/sage_object.cpython-37m-x86_64-linux-gnu.so(+0x15e51)[0x7f437e8c7e51] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/structure/sage_object.cpython-37m-x86_64-linux-gnu.so(+0x1d7e8)[0x7f437e8cf7e8] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyObject_Str+0x6d)[0x7f437f811a0d] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x127645)[0x7f437f863645] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0xe9bd5)[0x7f437f825bd5] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/structure/category_object.cpython-37m-x86_64-linux-gnu.so(+0xe94b)[0x7f437e47794b] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyMethodDef_RawFastCallDict+0x2ac)[0x7f437f7cfe6c] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x9a58b)[0x7f437f7d658b] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/misc/cachefunc.cpython-37m-x86_64-linux-gnu.so(+0x1749d)[0x7f437e36849d] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/misc/cachefunc.cpython-37m-x86_64-linux-gnu.so(+0x2a90b)[0x7f437e37b90b] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/structure/category_object.cpython-37m-x86_64-linux-gnu.so(+0x10fa8)[0x7f437e479fa8] /usr/local/sage-python3/local/lib/python3.7/site-packages/sage/structure/category_object.cpython-37m-x86_64-linux-gnu.so(+0x13bfb)[0x7f437e47cbfb] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyMethodDef_RawFastCallKeywords+0x2eb)[0x7f437f7cf79b] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyCFunction_FastCallKeywords+0x25)[0x7f437f7cf845] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x8aa0)[0x7f437f7ad120] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f437f7a34db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x8789)[0x7f437f7ace09] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7f437f8a4a3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallKeywords+0x93)[0x7f437f7cf253] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x6a23)[0x7f437f7ab0a3] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7f437f8a4a3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallKeywords+0x93)[0x7f437f7cf253] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x8789)[0x7f437f7ace09] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7f437f8a4a3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallKeywords+0x93)[0x7f437f7cf253] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x8789)[0x7f437f7ace09] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7f437f8a4a3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyEval_EvalCodeEx+0x3e)[0x7f437f8a4cbe] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyEval_EvalCode+0x1b)[0x7f437f8a4ceb] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x16626d)[0x7f437f8a226d] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyMethodDef_RawFastCallKeywords+0x285)[0x7f437f7cf735] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyCFunction_FastCallKeywords+0x25)[0x7f437f7cf845] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x909a)[0x7f437f7ad71a] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f437f7a34db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f437f7abe71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7f437f8a4a3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallKeywords+0x93)[0x7f437f7cf253] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f437f7abe71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7f437f8a4a3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallKeywords+0x93)[0x7f437f7cf253] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f437f7abe71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f437f7a34db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f437f7abe71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7f437f8a4a3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallDict+0xae)[0x7f437f7cef8e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyObject_Call_Prepend+0xcd)[0x7f437f7d025d] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0xf1fe5)[0x7f437f82dfe5] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyObject_FastCallKeywords+0xd3)[0x7f437f7cf933] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x44ab)[0x7f437f7a8b2b] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f437f7a34db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f437f7abe71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f437f7a34db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f437f7abe71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f437f7a34db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f437f7abe71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f437f7a34db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallDict+0x2d2)[0x7f437f7cf1b2] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyObject_Call_Prepend+0xcd)[0x7f437f7d025d] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0xed4a9)[0x7f437f8294a9] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0xe9c22)[0x7f437f825c22] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyObject_FastCallKeywords+0xd3)[0x7f437f7cf933] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x44ab)[0x7f437f7a8b2b] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f437f7a34db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x8789)[0x7f437f7ace09] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f437f7a34db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x8789)[0x7f437f7ace09] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f437f7a34db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x8789)[0x7f437f7ace09] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7f437f8a4a3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallKeywords+0x93)[0x7f437f7cf253] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f437f7abe71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7f437f8a4a3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyFunction_FastCallKeywords+0x93)[0x7f437f7cf253] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f437f7abe71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f437f7a34db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f437f7abe71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f437f7a34db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f437f7abe71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x674db)[0x7f437f7a34db] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalFrameDefault+0x77f1)[0x7f437f7abe71] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_PyEval_EvalCodeWithName+0x97e)[0x7f437f8a4a3e] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyEval_EvalCodeEx+0x3e)[0x7f437f8a4cbe] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyEval_EvalCode+0x1b)[0x7f437f8a4ceb] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyRun_FileExFlags+0xb2)[0x7f437f8d50f2] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(PyRun_SimpleFileExFlags+0xed)[0x7f437f8d527d] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(+0x1b8402)[0x7f437f8f4402] /usr/local/sage-python3/local/lib/libpython3.7m.so.1.0(_Py_UnixMain+0x39)[0x7f437f8f4649] /lib/x86_64-linux-gnu/libc.so.6(__libc_start_main+0xeb)[0x7f437f3c7bbb] /usr/local/sage-python3/local/bin/python3(_start+0x2a)[0x55f7cabf108a] ------------------------------------------------------------------------ Attaching gdb to process id 21558. Cannot find gdb installed GDB is not installed. Install gdb for enhanced tracebacks. ------------------------------------------------------------------------ Unhandled SIGABRT: An abort() occurred. This probably occurred because a *compiled* module has a bug in it and is not properly wrapped with sig_on(), sig_off(). Python will now terminate. ------------------------------------------------------------------------ ********************************************************************** ---------------------------------------------------------------------- sage -t --long --warn-long 54.9 src/sage/sat/boolean_polynomials.py # Killed due to abort ---------------------------------------------------------------------- Total time for all tests: 0.2 seconds cpu time: 0.0 seconds cumulative wall time: 0.0 seconds