[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] Schaums help
From: |
root |
Subject: |
Re: [Axiom-developer] Schaums help |
Date: |
Sat, 3 May 2008 22:05:58 -0400 |
>> 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
>
Don't recall seeing your post at the time. Excellent. Thanks.