#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: |
-------------------------------------------------+-------------------------
Comment (by jdemeyer):
Works for me:
{{{
sage: I = load('/tmp/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: G = I.groebner_basis()
sage: G
Polynomial Sequence with 22 Polynomials in 21 Variables
sage: list(G)
[x10*x80*x192*x193*x194*x195*x196*x197*x198*x201*x210 +
x10*x80*x192*x193*x194*x195*x196*x198*x20
x10*x80*x192*x193*x194*x195*x196*x198*x200*x201*x202*x208*x210 +
x10*x80*x192*x193*x194*x195*x196*x198*x201*x202*x208*x20
x10*x80*x192*x193*x194*x195*x196*x198*x201*x202*x207*x208*x210 +
x10*x80*x192*x193*x194*x195*x196*x198*x201*x202*x208*x20
x10*x199 + x10*x210,
x11*x165*x211 + x165*x169*x211,
x11*x199 + x169*x210,
x11*x210 + x169*x210,
x80*x165*x192*x193*x194*x195*x196*x197*x198*x201*x210 +
x80*x165*x192*x193*x194*x195*x196*x198*x201*x210
x80*x165*x192*x193*x194*x195*x196*x197*x198*x201*x211 +
x80*x165*x192*x193*x194*x195*x196*x198*x201*x211
x80*x165*x192*x193*x194*x195*x196*x198*x200*x201*x202*x208*x210 +
x80*x165*x192*x193*x194*x195*x196*x198*x201*x202*x208*x209*x210,
x80*x165*x192*x193*x194*x195*x196*x198*x200*x201*x202*x208*x211 +
x80*x165*x192*x193*x194*x195*x196*x198*x201*x202*x208*x209*x211,
x80*x165*x192*x193*x194*x195*x196*x198*x201*x202*x207*x208*x210 +
x80*x165*x192*x193*x194*x195*x196*x198*x201*x202*x208*x209*x210,
x80*x165*x192*x193*x194*x195*x196*x198*x201*x202*x207*x208*x211 +
x80*x165*x192*x193*x194*x195*x196*x198*x201*x202*x208*x209*x211,
x80*x169*x192*x193*x194*x195*x196*x197*x198*x201*x210 +
x80*x169*x192*x193*x194*x195*x196*x198*x201*x210
x80*x169*x192*x193*x194*x195*x196*x198*x200*x201*x202*x208*x210 +
x80*x169*x192*x193*x194*x195*x196*x198*x201*x202*x208*x209*x210,
x80*x169*x192*x193*x194*x195*x196*x198*x201*x202*x207*x208*x210 +
x80*x169*x192*x193*x194*x195*x196*x198*x201*x202*x208*x209*x210,
x80*x192*x193*x194*x195*x196*x197*x198*x199*x201 +
x80*x192*x193*x194*x195*x196*x198*x199*x200*x201*x202*x208 +
x80*x192*x193*x194*x195*x196*x198*x199*x201*x
x80*x192*x193*x194*x195*x196*x198*x199*x201*x202*x207*x208 +
x80*x192*x193*x194*x195*x196*x198*x199*x201*x
x165*x199 + x165*x210,
x165*x210*x211 + x165*x211,
x169*x199 + x169*x210]
}}}
--
Ticket URL: <http://trac.sagemath.org/ticket/17143#comment:2>
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.
