> This is an I took a look at your lurch.sourceforge.net page, and I
> wonder why you want to use maxima to verify your answers. It seems that
> you want to verify your equations, not provide solutions to mathematical
> problems. Thus, you want to check equations like
> (x+1)^2 = x^2+2*x +1
Yes, that's right. We want to ask if two expressions are equivalent, among other things. If the only option for doing so is plugging in lots of random values, I can do that, but I kind of hoped Maxima, as a CAS, would be able to do something more sophisticated.
Nathan