Re: [sage-support] GF(2) -Grobner Basis - How to force x^2 = x ?

2011-02-06 Thread Thomas Gueuning
Thanks a lot ! That's exactly what I needed. And your thesis looks very interesting. I'm going to read it. Cheers, Thomas 2011/2/4 Martin Albrecht > Hi, I know of no elegant way of doing that. There are a few ANF > (polynomials) to CNF (ORs and ANFs) strategies which are used for example in >

[sage-support] GF(2) -Grobner Basis - How to force x^2 = x ?

2011-02-03 Thread Thomas Gueuning
First of all, congratulations for this free and wonderfull software. I have a question about GF(2).This is maybe a bit stupid but I cannot find the answer anywere. When I use this code, I don't understand why y^3 is still there because I think this is equal to y for both 0 and 1. So why the Groeb