login  home  contents  what's new  discussion  bug reports     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
  
last edited 10 years ago by test1

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

Submitted by : (unknown) at: 2007-11-17T22:30:32-08:00 (16 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

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

... how can I calculate the limit of:

(3<strong>x+5</strong>x)<strong>(1/x) 

for x \rightarrow +\infty?

The result is 5 as you can check by hand:

(3<strong>x+5</strong>x)*<em>(1/x) = 5 </em> ((3/5)<strong>x+1)</strong>(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

See also #297