[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] Schaums help

From: Martin Rubey
Subject: Re: [Axiom-developer] Schaums help
Date: 03 May 2008 20:29:38 +0200
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.4

root <address@hidden> 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?


ex := 1/(x*sqrt(x^n-a^n))
aa := integrate(ex, x)

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]