[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] 20080426.01.tpd.patch (CATS Schaums-Axiom equivale
Re: [Axiom-developer] 20080426.01.tpd.patch (CATS Schaums-Axiom equivalence testing (26-28))
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
>> @@ -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
>> +--S 32
>normalize(integrate(1/cosh(a*x)^2,x) - tanh(a*x)/a)
> (14) - -
> 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.