| 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.
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.