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:
A:=2(a+b);
B:=2a+2b;
Is there any way to test so that
evalb(A=B) returns false?
In my case, both A and B are obtained from MathContainers:
A:=GetProperty('MathContainer1','expression');