login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

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

For the following limit:

limit(exp(exp(2*log(x^5+x)*log(log(x))))/exp(exp(10*log(x)*log(log(x)))), x = %plusInfinity)

\label{eq1}+ \infty(1)
Type: Union(OrderedCompletion?(Expression(Integer)),...)

the correct answer is +infinity. Simpler version is:

limit(exp(2*log(x^5+x)*log(log(x)))-exp(10*log(x)*log(log(x))), x = %plusInfinity)

\label{eq2}+ \infty(2)
Type: Union(OrderedCompletion?(Expression(Integer)),...)

(again the correct answer is +infinity).

Another problematic limit is:

limit(max(x, exp(x))/log(min(exp(-x), exp(-exp(x)))), x = %plusInfinity)
There are 1 exposed and 2 unexposed library operations named max having 2 argument(s) but none was determined to be applicable. Use HyperDoc Browse, or issue )display op max to learn more about the available operations. Perhaps package-calling the operation or using coercions on the arguments will allow you to apply the operation.
Cannot find a definition or applicable library operation named max with argument type(s) Variable(x) Expression(Integer)
Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need.

where the correct answer is -1.

BTW both examples are taken from Dominik Gruntz thesis form 1996

Waldek Hebisch

Gruntz algorithm is now implemented and the first two examples work. The third example requires symbolic max and min.

  Subject:   Be Bold !!
  ( 15 subscribers )  
Please rate this page: