> I would like to do next release in next week (as usual
> some delay is possible).

Great!

>  I have now commited Gruntz
> algoritm to the trunk.  Currently 'limit'
> command uses Gruntz algoritm for exp-log functions
> and old method otherwise.

Nice. I have seen the ChangeLog entry about that.
Btw, you did not include the test cases, did you?

>  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.

But this is tricky anyway ...

> Also my current measurements indicate that Gruntz
> is slower than old limit, in the future I would like
> to improve its speed.

Given that the algorithm is highly recursive
this can easily be the case.

I remember some information that systems like
Mathematica only apply it as the final try to
get a result but use simpler techniques first.

> 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?

No, I made no progress with it. Maybe I can try
to get it working during the next few days.

I'll have to see why the other pattern fails.
As far as I understand it, it should work, but
obviously does not.

> There is still time to include other code.

I think you merged commit 899191cbb4ee34612b0fd41914902f787067e3d3
from my "split_function" branch. (But not the Bessel
stuff which is unfinished and broken.)

I'll rebase my branches tomorrow.

-- 
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.

Reply via email to