Question: symbolic manipulation mod 2

I want to be able to create expressions in the two noncommutative variables a and b such that an expression

(b+a)*a +ba symplifies to a*a. Thus the first expression expands to ba+aa, which when added to ba

yields ba+aa+ba=aa.

How to arrange for this will be greatly appreciated.

Please Wait...