Question: How to differentiate between expanded and factorized expressions when comparing

I have asked a similar question before but it appears that the difficulty of what I need to do increases when the cases are simpler.

Essentially I want to check that an expression has been fully simplified. Suppose that:




Is there any way to test so that

evalb(A=B) returns false?

In my case, both A and B are obtained from MathContainers:



I can't even convert the expression in A to a string -> it immediately becomes "2a+2b".

Please Wait...