| CASEqual | Are the parse trees of the two expressions equal?
| CASEqual | Are the parse trees of the two expressions equal?
| Equal_com_ass | Are they equal up to commutativity and associativity of addition and multiplication, together with their inverses minus and division? For example<br>\[a+b=b+a\mbox{,}\]<br>but<br>\[x+x\neq 2x\mbox{.}\]<br>This is very useful in elementary algebra, where we want the form of the answer exactly. Simplification is automatically switched off when this test is applied, otherwise it makes no sense.
| EqualComAss | Are they equal up to commutativity and associativity of addition and multiplication, together with their inverses minus and division? For example<br>\[a+b=b+a\mbox{,}\]<br>but<br>\[x+x\neq 2x\mbox{.}\]<br>This is very useful in elementary algebra, where we want the form of the answer exactly. Simplification is automatically switched off when this test is applied, otherwise it makes no sense.
| [AlgEquiv](Answer_tests#AlgEquiv) | Are they _algebraically equivalent_, i.e. does the difference simplify to zero?
| [AlgEquiv](Answer_tests#AlgEquiv) | Are they _algebraically equivalent_, i.e. does the difference simplify to zero?
| SubstEquiv | Can we find a substitution of the variables of \(ex_2\) into \(ex_1\) which renders \(ex_1\) algebraically equivalent to \(ex_2\)? If you are only interested in ignoring case sensitivity, you can apply the [Maxima commands defined by STACK](../CAS/Maxima#Maxima_commands_defined_by_STACK)`exdowncase(ex)` to the arguments, before you apply one of the other answer tests.
| SubstEquiv | Can we find a substitution of the variables of \(ex_2\) into \(ex_1\) which renders \(ex_1\) algebraically equivalent to \(ex_2\)? If you are only interested in ignoring case sensitivity, you can apply the [Maxima commands defined by STACK](../CAS/Maxima#Maxima_commands_defined_by_STACK)`exdowncase(ex)` to the arguments, before you apply one of the other answer tests.
| SameType | Are the two expressions of the [types_of_object](../CAS/Maxima#Types_of_object)? Note that this test works recursively over the entire expression.
| SameType | Are the two expressions of the [types_of_object](../CAS/Maxima#Types_of_object)? Note that this test works recursively over the entire expression.