[Maxima] Integration question (definite integral)

[max.e.brown at gmail.com]

Rupert Swarbrick <rupert.swarbrick at lineone.net> writes:

> Well, log(sin(0)) = log(0) = -infinity, so maybe Maxima's right?

Maybe I should clarify. What puzzles me is why Maxima wants to know
whether sin(x) is positive, negative or zero, in order to determine
that the integral is divergent.

As you say, I would expect
log(sin(%pi/2)) - log(sin(0)) = log(1) - log(0) = 0 - (-inf) = inf
or something to that effect. To me it seems that it is not necessary
to state that `sin(x) > 0' (which isn't really all that correct) to
deduce that.

Max