Thank you. But when I try to solve f1=x1 + x2 + x4 + x10 + x31 + x43 + x56 , f2=x2 + x3 + x5 + x11 + x32 +x44 + x57,
it becomes very slow. Is there any faster approach like F4 algorithm available in Sage? On 8 December 2012 17:25, Martin Albrecht <martinralbre...@googlemail.com>wrote: > Or compute a Gröbner basis: > > sage: P.<x,y> = BooleanPolynomialRing() > sage: Ideal(x^2 + y^2).groebner_basis() > [x + y] > sage: Ideal(x^2 + y^2).variety() > [{y: 0, x: 0}, {y: 1, x: 1}] > > On Saturday 08 Dec 2012, Volker Braun wrote: > > I take it you mean polynomial equations: > > > > sage: AA.<x,y> = AffineSpace(GF(2),2) > > sage: S = AA.subscheme(x^2+y^2) > > sage: S.point_set().points() > > [(0, 0), (1, 1)] > > > > On Saturday, December 8, 2012 6:14:19 AM UTC, Santanu wrote: > > > I have a system of non linear equations over GF(2). How to solve > > > > > > them in Sage? > > 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://martinralbrecht.wordpress.com/ > _jab: martinralbre...@jabber.ccc.de > > -- > You received this message because you are subscribed to the Google Groups > "sage-support" group. > 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. > Visit this group at http://groups.google.com/group/sage-support?hl=en. > > > -- You received this message because you are subscribed to the Google Groups "sage-support" group. 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. Visit this group at http://groups.google.com/group/sage-support?hl=en.