Date: Jul 19, 2013 11:34 AM
Author: clicliclic@freenet.de
Subject: Re: An independent integration test suite

daly@axiom-developer.org schrieb:

>

> Albert,

>

> I'm getting different answers than you for some of the problems.

> In Axiom, if I do

>

> t0:=1/((1-x)^(9/2)*(1+x)^(5/2))

> t1:=integrate(t0,x)

> t2:=D(t1,x)

> t3:=t0-t2

>

> 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

> non-constant 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.