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

**[Axiom-developer] Schaums help**, *daly*, `2008/05/02`
**Re: [Axiom-developer] Schaums help**, *Doug Stewart*, `2008/05/02`
**Re: [Axiom-developer] Schaums help**, *root*, `2008/05/02`
**Re: [Axiom-developer] Schaums help**, *Doug Stewart*, `2008/05/02`
**Re: [Axiom-developer] Schaums help**, *Doug Stewart*, `2008/05/03`
**Re: [Axiom-developer] Schaums help**, *root*, `2008/05/03`
**Re: [Axiom-developer] Schaums help**, *Martin Rubey*, `2008/05/03`
**Re: [Axiom-developer] Schaums help**,
*root* **<=**
**Re: [Axiom-developer] Schaums help**, *Martin Rubey*, `2008/05/03`