#17143: Polybori segfault
-------------------------------------------------+-------------------------
Reporter: SimonKing | Owner:
Type: defect | Status: new
Priority: major | Milestone: sage-6.4
Component: commutative algebra | Resolution:
Keywords: polybori segfault | Merged in:
Authors: | Reviewers:
Report Upstream: Reported upstream. No | Work issues:
feedback yet. | Commit:
Branch: | Stopgaps:
Dependencies: |
-------------------------------------------------+-------------------------
Description changed by SimonKing:
Old description:
> 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"...
New description:
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, it
does work!
I hope putting Alexander on Cc counts as "reported upstream"...
--
--
Ticket URL: <http://trac.sagemath.org/ticket/17143#comment:1>
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.
