Hi! I am running SAGE 3.4.rc1 with patch #5486 applied, and the bug described in ticket #5486 seems to be fixed by the patch.
The following call, however, still leads to the same error: R=PolynomialRing(GF(2),['x%d'%(i+1) for i in range(21)],order='lex') R.inject_variables() I=ideal([x2 + x1*x2*x15 + x1*x14*x15 + x2*x14*x15 + x1*x2 + x1*x14 + x2*x14,x3 + x2,x4 + x1*x16*x17 + x1*x16 + x1*x17 + x16*x17 + x16 + x17,x5 + x4,x6 + x5*x15 + x5,x7 + x6,x8 + (x4 + 1)*(x13)*((x11 + 1)* (x20*x21 + x20 + x21) + x11),x9 + (x19 + 1)*(x8*x9*x18 + x8*x9 + x9*x18 + x9) + x8,x10 + x9*(x20*x21 + x20 + x21),x11 + x9 + x10 + 1,x12 + x5 + 1,x13 + x12,x14 + (x11 + 1)*(x13*x20*x21 + x13*x20 + x13*x21 + x13) + x13,x15 + x14 + x13])+ideal (sage.rings.ideal.FieldIdeal(R)) I.variety() It is clear, that this is not the way one is supposed to solve such problems. I need to do this computation for comparison purposes, though. Thanks, Florian --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---