1 | initial version |
In the most recent Maxima, we have
(%i5) display2d:false;
(%o5) false
(%i6) integrate(log(cot(x)-1),x,0,%pi/4);
Is %pi/8 an ?integer?
n;
Is %pi/4 an ?integer?
n;
Is 2*%pi an ?integer?
n;
(%o6) -(%i*(2*li[2](%i+1)-2*li[2](1-%i))+%pi*log(2))/4
+%i*li[2]((%i+1)/2)/2-%i*li[2](-(%i-1)/2)/2
which I guess is an improvement over
(%i2) integrate(log(cot(x)-1),x,0,%pi/4);
defint: integral is divergent
So a Maxima upgrade should fix this, though the polylogs aren't necessarily going to be evaluated by us immediately.
2 | No.2 Revision |
In the most recent Maxima, we have
(%i5) display2d:false;
(%o5) false
(%i6) integrate(log(cot(x)-1),x,0,%pi/4);
Is %pi/8 an ?integer?
n;
Is %pi/4 an ?integer?
n;
Is 2*%pi an ?integer?
n;
(%o6) -(%i*(2*li[2](%i+1)-2*li[2](1-%i))+%pi*log(2))/4
+%i*li[2]((%i+1)/2)/2-%i*li[2](-(%i-1)/2)/2
which I guess is an improvement over
(%i2) integrate(log(cot(x)-1),x,0,%pi/4);
defint: integral is divergent
So a Maxima upgrade should fix get closer to fixing this, though the polylogs aren't necessarily going to be evaluated by us immediately.