Hello,
Another is/equal topic -- is (equal (a, b)) doesn't attempt to determine
if ratsimp (a - b) makes any sense before trying it.
(%i1) trace (ratsimp);
(%o1) [ratsimp]
(%i2) is (equal (true, false));
1 Enter ratsimp [true - false]
1 Exit ratsimp true - false
Maxima was unable to evaluate the predicate:
equal(true, false)
It seems like is (equal (...)) should only attempt to compare comparable
objects. Yes / no ?
And assuming that, what are the classes of comparables in Maxima ?
best,
Robert