[sage-support] Re: Boolean Polynomial ring
i am writing program, please correct it from sage.crypto.boolean_function import BooleanFunction R.=BooleanPolynomialRing(order='lex') def shift( S, h ): (x,y,z)=S h=x+y+z (x,y,z )=( y,z,h ) return S S=(x,y,z) for i in range(2): SS=shift(S) S=SS print S but the problem is after first round it is not shifting On Saturday, August 26, 2017 at 1:46:17 AM UTC+5:30, sant...@niser.ac.in wrote: > > i am new in sage. and i want to define an array of dimension 79 and every > time i want to save a new value in each array shell i.e. for i in range(79) > a[i]= any value and also i want define a vector. can you help me out? > -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To post to this group, send email to sage-support@googlegroups.com. Visit this group at https://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
[sage-support] Re: Boolean Polynomial Ring variety computation problem
Wow, that was extremely quick guys! Thanks a lot!! Hut ab. Florian On Mar 11, 7:59 am, Martin Albrecht wrote: > On Tuesday 10 March 2009, Florian wrote: > > > Thanks for having a look! > > It turns out it was our (my) fault all along, patch is up at > > http://trac.sagemath.org/sage_trac/ticket/5486 > > and awaits review. > > 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 -~--~~~~--~~--~--~---
[sage-support] Re: Boolean Polynomial Ring variety computation problem
On Tuesday 10 March 2009, Florian wrote: > Thanks for having a look! It turns out it was our (my) fault all along, patch is up at http://trac.sagemath.org/sage_trac/ticket/5486 and awaits review. 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 -~--~~~~--~~--~--~---
[sage-support] Re: Boolean Polynomial Ring variety computation problem
Thanks for having a look!
On Mar 10, 1:33 pm, Martin Albrecht
wrote:
> > {{{id=2|
> > %time
> > B. >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. >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
-~--~~~~--~~--~--~---
[sage-support] Re: Boolean Polynomial Ring variety computation problem
> {{{id=2|
> %time
> B.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.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
-~--~~~~--~~--~--~---
