[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] 20080426.01.tpd.patch (CATS Schaums-Axiom equivale
From: |
root |
Subject: |
Re: [Axiom-developer] 20080426.01.tpd.patch (CATS Schaums-Axiom equivalence testing (26-28)) |
Date: |
Sun, 27 Apr 2008 13:39:08 -0400 |
>> 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 further.
>>
>
>> ---S 10 of 28
>> +--S 31
>> aa:=integrate(1/cosh(a*x)^2,x)
>> --R
>> --R
>> @@ -211,6 +406,176 @@ aa:=integrate(1/cosh(a*x)^2,x)
>> --R a sinh(a x) + 2a cosh(a x)sinh(a x) + a cosh(a x) + a
>> --R Type: Union(Expression
>> Integer,...)
>> --E
>> +
>> +--S 32
>> +bb:=tanh(a*x)/a
>
>I get:
>
>normalize(integrate(1/cosh(a*x)^2,x) - tanh(a*x)/a)
>
> 1
> (14) - -
> a
> Type: Expression Integer
>
>so it seems that the difference really is a constant.
You're right. It was probably just post-midnight stupidity on my part.
I'll fix it in the next update.
Thanks.
Tim