Axel Vogt schrieb: > > On 26.04.2013 19:22, firstname.lastname@example.org wrote: > > > > 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.
A very special sort of simplification: one that can add or subtract piecewise constant functions in order to achieve its goal.