On 26.04.2013 19:22, firstname.lastname@example.org wrote: > > Richard Fateman schrieb: ... >> 1. I found expressions in the test suite of the form >> >> integrate(A,x) = B = C >> >> which do not parse properly since B=C makes sense in Macsyma >> if B and C are algebraic. It does not make sense in Macsyma >> to ask (A=B) = C since A=B is logical not algebraic. >> >> That is almost beside the point though. What is the test suite >> supposed to be used for? Testing the simplification of B=C? >> Is either answer, B or C supposed to be OK for the integration? >> Is one supposed to verify the answer by differentiating B? > > Derive simplifies A = B = C to A = B AND B = C (as does Mathematica, I > believe). So this notation is adequate if equality is assumed to hold > only up to (piecewise) constants - in other words, to hold only after > differentiation. Unfortunately, in Derive, an expression A = B = C > cannot be differentiated (it is not simplified beyond DIF(A = B AND B = > C, x)), although I see no reason why this should be forbidden (what > about Mathematica?).
That does not work in Maple and to avoid coding I just picked one (the first) and for the rest have the attitude, that is not about integration, but simplification or similar.