[Top][All Lists]

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

Re: [Axiom-mail] Bug in computing a limit?

From: Martin Rubey
Subject: Re: [Axiom-mail] Bug in computing a limit?
Date: Wed, 26 Aug 2009 08:38:53 +0200
User-agent: Gnus/5.11 (Gnus v5.11) Emacs/22.3 (gnu/linux)

Sergio Polini <address@hidden> writes:

> The limit of 3^x * log(x) / x as x -> +oo is +oo, but I get:
> (1) -> limit(3^x*log(x)/x,x=%plusInfinity)
>    (1)  "failed"
> Am I missing anything?

no, axiom (and FriCAS and OpenAxiom), is not particularly strong at
computing limits.  Attached is an experimental package by Waldek for
FriCAS (should work on other flavours of axiom, as well), that
implements a better algorithm.  However, it doesn't seem to like 3^x,
you need to enter it as exp(x*log 3)...

(19) -> mrv__limit(exp(x*log 3)*log x/x, x)

   (19)   + infinity
                           Type: OrderedCompletion(Expression(Integer))

(it is only for real limits, and the direction is always

Attachment: mrvlimit.spad
Description: Binary data


reply via email to

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