| 1 | initial version |
I'm not sure why you think that x^2=x and Sage gives
sage: R.<a,b> = PolynomialRing(GF(2), 'a,b')
sage: (a+b+1)^2
a^2 + b^2 + 1
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.