Hi, > Aaron is right. The Gruntz algorithm does not support oscillatory > functions like cos(x), and last time I thought about it there seemed > no easy way to extend it.
> The difficulty is in coming up with a sufficiently general > descriptions of things like "bounded oscillatory", which has the > following properties: > > - gruntz can be adapted to work with these kinds of objects > - the objects are mathematically sound > - we can get meaningful answers in interesting cases > > Unfortunately, these properties tend to collide. You are very much > invited to come up with a solution :-). There is some work done on this topic, see for example the short paper "On the computation of limsups" by Joris van der Hoeven. He did a lot of work on what he calls "automatic asymptotics": http://www.texmacs.org/joris/phd/phd-abs.html This is based on so called transseries and the algorithms in his PhD *might* be ready for an actual implementation. It's for sure a worthwhile lecture but I did not read it, it's pretty complicated math for my mind. -- You received this message because you are subscribed to the Google Groups "sympy" 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/sympy?hl=en.
