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 2 of 5

	1 2 3 4 5
Editor: kratt6 Time: 2007/12/20 02:11:48 GMT-8
Note:

added:

From kratt6 Thu Dec 20 02:11:48 -0800 2007
From: kratt6
Date: Thu, 20 Dec 2007 02:11:48 -0800
Subject: 
Message-ID: <20071220021148-0800@axiom-wiki.newsynthesis.org>

Category: Axiom Mathematics => Axiom Library 

See also #297

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

... how can I calculate the limit of:

for $x \rightarrow +\infty$ ?

The result is 5 as you can check by hand:

$(3x+5x)*(1/x) = 5 ((3/5)x+1)(1/x) \rightarrow 5$

When I tried that in axiom:

axiom

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

$\label{eq1}\mbox{\tt "failed"}$

(1)

Type: Union("failed",...)

or the equivalent problem:

axiom

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

$\label{eq2}\mbox{\tt "failed"}$

(2)

Type: Union("failed",...)

I got "failed".

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

Category: Axiom Mathematics => Axiom Library