> The limit of 3^x * log(x) / x as x -> +oo is +oo, but I get: > > (1) -> limit(3^x*log(x)/x,x=%plusInfinity) > > (1) "failed" > > Am I missing anything?
no, axiom (and FriCAS and OpenAxiom), is not particularly strong at
computing limits. Attached is an experimental package by Waldek for
FriCAS (should work on other flavours of axiom, as well), that
implements a better algorithm. However, it doesn't seem to like 3^x,
you need to enter it as exp(x*log 3)...
(19) -> mrv__limit(exp(x*log 3)*log x/x, x)
(19) + infinity
Type: OrderedCompletion(Expression(Integer))
(it is only for real limits, and the direction is always
plusInfinity...)
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en
-~----------~----~----~----~------~----~------~--~---
mrvlimit.spad
Description: Binary data
Martin
