Re: [Axiom-developer] 20080426.01.tpd.patch (CATS Schaums-Axiom equivalence testing (26-28))

2008-04-27 Thread Doug Stewart
[EMAIL PROTECTED] wrote: On at least 2 of these problems Schaums and Axiom seem to disagree on the results, namely: 14:569 SCHAUMS AND AXIOM DISAGREE? 14:571 SCHAUMS AND AXIOM DISAGREE? as the compute result is not constant but does not seem to have a simplification that eliminates x.

Re: [Axiom-developer] 20080426.01.tpd.patch (CATS Schaums-Axiom equivalence testing (26-28))

2008-04-27 Thread Waldek Hebisch
On at least 2 of these problems Schaums and Axiom seem to disagree on the results, namely: 14:569 SCHAUMS AND AXIOM DISAGREE? 14:571 SCHAUMS AND AXIOM DISAGREE? as the compute result is not constant but does not seem to have a simplification that eliminates x. This needs to be studied

Re: [Axiom-developer] 20080426.01.tpd.patch (CATS Schaums-Axiom equivalence testing (26-28))

2008-04-27 Thread root
+bb:=x/2+(sinh(a*x)*cosh(a*x))/2 this should be +bb:=x/2+(sinh(a*x)*cosh(a*x))/2a I think your Schaums is out of date on this one. Thanks. It is a typo in my copy of Schaums. No wonder they disagree. Tim ___ Axiom-developer mailing list

Re: [Axiom-developer] 20080426.01.tpd.patch (CATS Schaums-Axiom equivalence testing (26-28))

2008-04-27 Thread root
On at least 2 of these problems Schaums and Axiom seem to disagree on the results, namely: 14:569 SCHAUMS AND AXIOM DISAGREE? 14:571 SCHAUMS AND AXIOM DISAGREE? as the compute result is not constant but does not seem to have a simplification that eliminates x. This needs to be studied

[Axiom-developer] bug in complexNormalize?

2008-04-27 Thread daly
Any help on this would really be appreciated. Is it really a bug in complexNormalize? --S 5 of 14 aa:=integrate(sinh(a*x)^2*cosh(a*x)^2,x) --R --R --R 33 --Rcosh(a x)sinh(a x) + cosh(a x) sinh(a x) - a x --R (1)

[Axiom-developer] please check your Schaums

2008-04-27 Thread daly
In 14.661 Schaums claims: integral acoth(x/a) = x*acoth(x)+a/2*log(x^2-a^2) Axiom claims integral acoth(x/a) = x*acoth(x/a)+a/2*log(x^2-a^2) ^^ Is this a Schaums typo? Tim ___