First time here? Check out the FAQ!
answered 2015-02-16 09:56:59 +0200
I'm not sure why you think that x^2=x and Sage gives
x^2=x
sage: R.<a,b> = PolynomialRing(GF(2), 'a,b') sage: (a+b+1)^2 a^2 + b^2 + 1