root <[EMAIL PROTECTED]> writes:
> None of these system are wrong and I believe that both expressions
> are equal up to a constant.
>
> What I'm looking for is a sequence of commands that will reduce
> the difference of (Axiom's result)-(Schaums result) to that constant.
So you aren't satisfied with my answer (repeated below)? Why?
Martin
ex := 1/(x*sqrt(x^n-a^n))
aa := integrate(ex, x)
bb:=2/(n*sqrt(a^n))*acos(sqrt(a^n/x^n))
expRule := rule %e^(n*log x) == x^n
sqrtRule := rule 1/sqrt z == sqrt(1/z)
sqrtRule2 := rule sqrt w * sqrt z == sqrt(w*z)
sqrtRule3 := rule sqrt(w/z) == sqrt(w*z)/z
powerRule := rule z^(2*n)==(z^n)^2
(17) -> powerRule sqrtRule3 sqrtRule2 sqrtRule expRule normalize(aa.2 - bb)
(17) 0
Type: Expression Integer
_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
