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

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

-- 
                              Waldek Hebisch
address@hidden