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
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 =
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.comwrote:
Or
On Saturday, December 8, 2012 11:07:31 AM UTC-6, Santanu wrote:
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?
F4 is not yet
We are talking about the Boolean polynomial ring here, right? So an F4 style
algorithm is used by default (subject to some heuristics). To emphasise you'd
have to construct your ring using the BooleanPolynomialRing constructor.
On Saturday 08 Dec 2012, john_perry_usm wrote:
On Saturday,