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

[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 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