
Re: An independent integration test suite
Posted:
Jul 19, 2013 11:34 AM


daly@axiomdeveloper.org schrieb: > > Albert, > > I'm getting different answers than you for some of the problems. > In Axiom, if I do > > t0:=1/((1x)^(9/2)*(1+x)^(5/2)) > t1:=integrate(t0,x) > t2:=D(t1,x) > t3:=t0t2 > > I get 0 as a result. However, when I take the derivative of your > result and difference it from your initial equation I get a > nonconstant result dependent on x. > > Perhaps you could check your answer in other systems and let me > know if you agree. > > I will be posting the first set of results shortly. >
This integrand appears on page 1102 of rich1b.input.pdf. Its antiderivative
 (8*x^5  16*x^4  4*x^3 + 24*x^2  9*x  6) /(21*(1  x)^(7/2)*(x + 1)^(3/2))
is simply an algebraic function, so should be behave the same on all systems. Indeed your expression d000 at the bottom of page 1103 simplifies to zero for arbitrary complex x.
You are having more serious problems with the integrands on pages 994, 996, 998, 1000, 1004, 1008, 1017, 1019, 1020, 1021, 1022, 1107, 1109, and maybe elsewhere. Can FriCAS handle these (correctly) already?
Martin.

