Menu ▾ ▴

#2272 radcan bug

open
nobody
None
5
2012-11-18
2011-09-10
Aleksas
No

"radcan" bug

We calculate the integral of
(%i1) f:1/((x-1)*sqrt(-8*x^2+4*x+3));
(%o1) 1/((x-1)*sqrt(-8*x^2+4*x+3))
(%i2) assume(x<1)$
(%i3) integrate(f,x)$ sol:factor(%);
(%o4) asin((6*x-5)/(2*sqrt(7)*(x-1)))

Test of solution(the first method):
(%i5) diff(sol,x)-f$ factor(%);
(%o6) 0
(%i7) is(%=0);
(%o7) true

Test of solution(the second method):
(%i8) diff(sol,x)-f$ radcan(%);
(%o9) (2*sqrt(-8*x^2+4*x+3))/(8*x^3-12*x^2+x+3)
(%i10) is(%=0);
(%o10) false

I think that "radcan" has bug

Discussion


Log in to post a comment.