# simplifying expressions in GF(2)

Hi guys,

I know that for a variable $x$ in $GF(2)$, $x^2 = x$, and $2x=0$.

How do I simplify a polynomial expression in $GF(2)$ in the Sage interface?

For example, I should obtain

$$(a+b+1)^2=a^2+b^2+1+2a+2b+2ab=a+b+1$$