help links subscribe changes refresh edit

	IssueTracker
#344 Tube Plots ←	↑	→ #346 Returns formal integration sign for (1 + tan(x))^(1/3), which is elementary

#345 fails to compute some simple limits

Edit detail for #345 fails to compute some simple limits revision 5 of 5

	1 2 3 4 5
Editor: test1 Time: 2014/04/15 18:06:38 GMT+0
Note:

added:

From test1 Tue Apr 15 18:06:38 +0000 2014
From: test1
Date: Tue, 15 Apr 2014 18:06:38 +0000
Subject: 
Message-ID: <20140415180638+0000@axiom-wiki.newsynthesis.org>

Status: open => closed

On March 25, 2007 11:54 AM Ondrej Certik asked:

... how can I calculate the limit:

$\lim_{x \rightarrow +\infty}(3^x+5^x)^{1/x}$

The result is 5 as you can check by hand:

$(3^x+5^x)^{1/x} = 5 <em> ((3/5)^x+1)^{1/x} \rightarrow 5$

When I tried that in axiom:

fricas

limit((3^x+5^x)^(1/x), x=%plusInfinity)

$\label{eq1}5$

(1)

Type: Union(OrderedCompletion?(Expression(Integer)),...)

or the equivalent problem:

fricas

limit((3^(1/x)+5^(1/x))^(x), x=0, "right")

$\label{eq2}5$

(2)

Type: Union(OrderedCompletion?(Expression(Integer)),...)

I got "failed".

Now it works.

... --kratt6, Thu, 20 Dec 2007 02:11:48 -0800 reply

Category: Axiom Mathematics => Axiom Library