Thanks for having a look!
On Mar 10, 1:33 pm, Martin Albrecht <m...@informatik.uni-bremen.de>
wrote:
> > {{{id=2|
> > %time
> > B.<x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x
> >21,x22,x23,x24,x25,x26,x27,x28,x29,x30>=BooleanPolynomialRing
> > (30,order='lex')
> > I1=ideal([x13*x15 + x1*x7*x13*x25 + x9*x22 + x17 + x18 + x3 + x13,1 +
> > x6*x21 + x3,x2*x18 + 1 + x16*x25,x15 + x9 + x1*x10*x20,x23 +
> > x9*x21*x23*x27 + x25 + x7,x13 + x1*x4*x15 + x6*x24 + 1 + x26*x27 +
> > x3,1 + 1,1 + x13 + x22*x28 + x1*x29,x8 + x11*x29 + x15*x18 +
> > x5*x11,x3*x9 + 1 + 1,x8,x14 + x14 + x6*x16*x28 + x6 + x13 +
> > x23,x1*x15*x17 + 1 + x7 + x8 + x3 + x3*x15 + x12*x13*x25 +
> > x3,x26,x4*x7*x8 + x3*x7 + x15*x17 + x15 + 1,x3*x17*x26*x28 +
> > x2*x14*x20*x21 + x5*x18*x28 + x30,x5*x6 + x12 + x28 + x3*x25 + x12,1 +
> > x7 + x16*x23 + 1 + 1,x1*x12*x24 + x4*x22*x26 + x6,x19*x21 + x2*x5*x9 +
> > 1 + x21 + x6,x30 + x13,x17 + x10*x11 + x3 + x10 + x7*x8*x18,x14 +
> > x7*x8*x11 + x5*x21 + x2*x15*x19 + x5*x7,x20*x21 + x15*x18*x19 +
> > x9*x10,x2*x8*x10*x19*x22 + x8 + x14 + x16*x24 + x16*x21 + x29,x9*x25 +
> > x10*x17*x18 + x2*x19 + x22*x25 + x6*x22*x25,x25 + x6 + x8*x26 +
> > x10*x23 + x29 + x12 + x30 + x4*x13,x22 + x24 + x26 + x2 + x30 +
> > x6*x10*x16 + x20,0,x28 + x8 + x9 + x2 + x15*x18*x29 + x16])
> > I2 = ideal([B(f) for f in I1.gens()])
>
> Why are you doing this? Probably just an oversight, nevermind.
>
>
>
>
>
> > G=I2.groebner_basis(faugere=False,linear_algebra_in_last_block=False)
> > GG=Ideal(G)
> > R.<x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16,x17,x18,x19,x20,x
> >21,x22,x23,x24,x25,x26,x27,x28,x29,x30>=PolynomialRing
> > (GF(2),30,order='lex')
> > GB = ideal([R(f) for f in G]) + ideal(sage.rings.ideal.FieldIdeal(R))
> > GB.variety()
> > ///
> ...
> > TypeError: Singular error:
> > // ** redefining zerlegt
> > ? wrong range[4] in ideal/module(3)
> > ? error occurred in triang.lib::invertieren_oT line 433: `
> > T_bis_k = T[1..(k-1)];`
> > ? leaving triang.lib::invertieren_oT
> > ? wrong range[21] in ideal/module(3)
> > ? error occurred in triang.lib::Erw_ggt_oT line 509: `parameter
> > poly f; parameter poly g; parameter int v; parameter ideal T; `
> > ? wrong type declaration. type 'help poly;'
> > ? leaving triang.lib::Erw_ggt_oT
> > ? `f` is undefined
> > ? error occurred in triang.lib::Erw_ggt_oT line 511: ` poly p1 =
> > f;`
> > ? expected poly-expression. type 'help poly;'
> > ? leaving triang.lib::Erw_ggt_oT
> > skipping text from `;` error at token `)`
> > ? leaving triang.lib::invertieren_oT
> > ? leaving triang.lib::invertieren
> > ? leaving triang.lib::triangLbas
> > ? leaving triang.lib::triangLfak
> > }}}
>
> I can reproduce your error and it seems this might be an error in Singular.
> I'm CCing Michael Brickenstein from the Singular team. If he doesn't have
> time to look into this, I'll properly report this bug upstream.
>
> Cheers,
> 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: martinralbre...@jabber.ccc.de
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
