Thanks for your interest and for letting me know the option in the new numerical input is working.
To assess this I would use the "EqualComAss" test to test equivalence up to commutativity and associativity. However, more than one such test is needed since we get the following result:
ATEqualComAss((1/2)*(3*sqrt(2)+2), (3*sqrt(2)+2)/2) = [0, "ATEqualComAss: (AlgEquiv:true)."];
That is to say, under this test \(\frac{1}{2} \cdot (3 \cdot \sqrt{2} + 2)\) and \( \frac{3 \cdot \sqrt{2}+2}{2} \) are considered to be different! Attached is a sample question. I hope this helps?
Chris
