I would like to do next release in next week (as usual
some delay is possible). I have now commited Gruntz
algoritm to the trunk. Currently 'limit' command
uses Gruntz algoritm for exp-log functions and old
method otherwise. AFAICS even for exp-log functions
our implementation of Gruntz algoritm still have
some problems, but seem to work much better than
the old limit. Gruntz algoritm can handle other
functions too, but currently it fails on too many
functions compared to old limit (OTOH Gruntz is
more sound, cases of wrong limits should be much
rarer than with old limit). I write "more sound"
because core Gruntz algoritm is sound, but
needs zero recognition oracle and we may have problem
with this.
Also my current measurements indicate that Gruntz
is slower than old limit, in the future I would like
to improve its speed.
One can try Gruntz using 'mrv_limit' command
(need package qualification because by default the
MrvLimitPackage is not exposed).
I would like to include recognition of Fresnel
integral in the pattern matching integrator.
Raoul, do you have some newer version? Or is
the one you posted earlier up to date?
There is still time to include other code.
--
Waldek Hebisch
[email protected]
--
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.
