On Mon, Jul 14, 2008 at 5:11 PM, Alasdair McAndrew <amca01 at gmail.com> wrote:
> I can probably use pmint, but the results it produces aren't really
> useful. For example:
>
> (%i1) pmint(abs(sin(x)),x);
> (%o1) -cos(x)*abs(sin(x))/sin(x)
>
> which is true, but doesn't allow me to enter values for which sin(x)=0.
> This is too restrictive.
>
Actually it isn't true. integrate(abs(sin(x)),x) should be monotonically
increasing, but the given expression is periodic, "resetting" to -1 at
n*%pi. And its derivative, sin(x)^2/abs(sin(x)), is undefined at n*%pi for
that reason.
-s