> #F=S.polynomials();
> s=S.solutions();
>
> P= PolynomialRing(GF(2),16,"y0, y1, y2, y3, y4, y5, y6, y7, x0, x1,
> x2, x3, x4, x5, x6, x7",order='lex');
> P.inject_variables();
>
> p=S.polynomials([x0, x1, x2, x3, x4, x5, x6, x7],[y0, y1, y2, y3, y4,
> y5, y6, y7], groebner=True);

Ah, got it: your list p is empty. This is because your S-Box just doesn't give 
rise polynomials of degree 2 (the default choice). Just choose a higher 
degree. cf. the documentation of "S.polynomials?" for details.

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
-~----------~----~----~----~------~----~------~--~---

Reply via email to