#17143: Polybori segfault
-------------------------+-------------------------------------------------
Reporter: SimonKing | Owner:
Type: defect | Status: new
Priority: major | Milestone: sage-6.4
Component: | Keywords: polybori segfault
commutative algebra | Authors:
Merged in: | Report Upstream: Reported upstream. No
Reviewers: | feedback yet.
Work issues: | Branch:
Commit: | Dependencies:
Stopgaps: |
-------------------------+-------------------------------------------------
With the file attached, one gets:
{{{
sage: I = load('/home/king/Sage/work/pbori/ideal.sobj')
sage: I
Ideal (x10*x199*x206 + x10*x206*x210,
x80*x192*x193*x194*x195*x196*x197*x198*x199*x201*x202 +
x80*x192*x193*x194*x195*x196*x198*x199*x201*x202,
x80*x192*x193*x194*x195*x196*x197*x198*x199*x201 +
x80*x192*x193*x194*x195*x196*x198*x199*x201,
x80*x192*x193*x194*x195*x196*x198*x199*x201*x202*x207*x208 +
x80*x192*x193*x194*x195*x196*x198*x199*x201*x202*x208*x209,
x80*x192*x193*x194*x195*x196*x198*x199*x200*x201*x202*x208 +
x80*x192*x193*x194*x195*x196*x198*x199*x201*x202*x208*x209, x11*x199*x206
+ x11*x206*x210, x11*x199 + x11*x210, x11*x210 + x169*x210, x11*x210 +
x169*x199, x10*x199 + x10*x210, x10*x199*x202*x206 + x10*x202*x206*x210,
x165*x210*x211 + x165*x211, x11*x199*x202*x206 + x11*x202*x206*x210,
x165*x199 + x165*x210) of Boolean PolynomialRing in x0, x1, x2, x3, x4,
x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15, x16, x17, x18, x19, x20,
x21, x22, x23, x24, x25, x26, x27, x28, x29, x30, x31, x32, x33, x34, x35,
x36, x37, x38, x39, x40, x41, x42, x43, x44, x45, x46, x47, x48, x49, x50,
x51, x52, x53, x54, x55, x56, x57, x58, x59, x60, x61, x62, x63, x64, x65,
x66, x67, x68, x69, x70, x71, x72, x73, x74, x75, x76, x77, x78, x79, x80,
x81, x82, x83, x84, x85, x86, x87, x88, x89, x90, x91, x92, x93, x94, x95,
x96, x97, x98, x99, x100, x101, x102, x103, x104, x105, x106, x107, x108,
x109, x110, x111, x112, x113, x114, x115, x116, x117, x118, x119, x120,
x121, x122, x123, x124, x125, x126, x127, x128, x129, x130, x131, x132,
x133, x134, x135, x136, x137, x138, x139, x140, x141, x142, x143, x144,
x145, x146, x147, x148, x149, x150, x151, x152, x153, x154, x155, x156,
x157, x158, x159, x160, x161, x162, x163, x164, x165, x166, x167, x168,
x169, x170, x171, x172, x173, x174, x175, x176, x177, x178, x179, x180,
x181, x182, x183, x184, x185, x186, x187, x188, x189, x190, x191, x192,
x193, x194, x195, x196, x197, x198, x199, x200, x201, x202, x203, x204,
x205, x206, x207, x208, x209, x210, x211
sage: I.groebner_basis()
---------------------------------------------------------------------------
SignalError Traceback (most recent call
last)
<ipython-input-56-0bd7e420c954> in <module>()
----> 1 I.groebner_basis()
/home/king/Sage/git/sage/local/lib/python2.7/site-
packages/sage/rings/polynomial/pbori.so in
sage.rings.polynomial.pbori.BooleanPolynomialIdeal.groebner_basis
(build/cythonized/sage/rings/polynomial/pbori.cpp:38218)()
/home/king/Sage/git/sage/local/lib/python2.7/site-
packages/sage/ext/c_lib.so in sage.ext.c_lib.sig_raise_exception
(build/cythonized/sage/ext/c_lib.c:1168)()
SignalError: Segmentation fault
}}}
Interestingly, if I do the same example in the debug version of Sage does
work!
I hope putting Alexander on Cc counts as "reported upstream"...
--
Ticket URL: <http://trac.sagemath.org/ticket/17143>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
