How do I use maxima to test whether two expressions are equal? To give a trivial example, how do I check with maxima that the two expressions x + 3y is the same as 3y + x or x + 2 + 3y -2 ? Thanks for any answers. Lars.