On Saturday 01 August 2009, Simon King wrote: > Hi Martin, > > On Aug 1, 4:09 pm, Martin Albrecht <[email protected]> > > wrote: > > sage: R.<a111,a112,a121,a122,b111,b112,b211,b212,c111,c112> = > > BooleanPolynomialRing(order='lex') > > sage: I=(a111 * b111 * c111 + a112 * b112 * c112 - 1 , a111 * b211 * c111 > > + ....: a112 * b212 * c112 - 0 , a121 * b111 * c111 + a122 * b112 * c112 > > , ....: a121 * b211 * c111 + a122 * b212 * c112 - 1)*R > > > > sage: I.groebner_basis() > > [a111 + b212, a112 + b211, a121 + b112, a122 + b111, c111 + 1, c112 + 1] > > Why do I get a different result? Bug in PolyBoRi, a changed > interpretation of the meaning of "lex" (I use sage 4.1, and you?), or > a misprint on my side (but so far I can't see any)?
I am using PolyBoRi 0.6.3 and this indeed seems to be a bug either in PolyBoRi 0.6.3 or in our Sage wrapper (most likely). I've CCed the PolyBoRi list. Thanks for pointing this out! Martin -- name: Martin Albrecht _pgp: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x8EF0DC99 _otr: 47F43D1A 5D68C36F 468BAEBA 640E8856 D7951CCF _www: http://www.informatik.uni-bremen.de/~malb _jab: [email protected] --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
