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 (11 years ago) Name : Axiom Version : default friCAS-20090114 Axiom-20050901 OpenAxiom-20091012 OpenAxiom-20110220 OpenAxiom-Release-141 Category : Axiom Aldor Interface Axiom Compiler Axiom Library Axiom Interpreter Axiom Documentation Axiom User Interface building Axiom from source lisp system MathAction Doyen CD Reduce Axiom on Windows Axiom on Linux Severity : critical serious normal minor wishlist Status : open closed rejected not reproducible fix proposed fixed somewhere duplicate need more info Optional subject :   Optional comment :

For the following limit:

fricas
limit(exp(exp(2*log(x^5+x)*log(log(x))))/exp(exp(10*log(x)*log(log(x)))), x = %plusInfinity) (1)
Type: Union(OrderedCompletion?(Expression(Integer)),...)

the correct answer is +infinity. Simpler version is:

fricas
limit(exp(2*log(x^5+x)*log(log(x)))-exp(10*log(x)*log(log(x))), x = %plusInfinity) (2)
Type: Union(OrderedCompletion?(Expression(Integer)),...)

(again the correct answer is +infinity).

Another problematic limit is:

fricas
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
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 !! ( 14 subscribers )