William Stein <wst...@gmail.com> writes:

> How is fricas going these days, by the way?

I think, very very well.  It's amazing how much improvement is possible even if
only very few people work with that code.  Of course, you could also read that
as "the code was very shitty, it's easy to improve" :-)

Yesterday night I implemented closure properties for holonomic and algebraic
functions (zero test and algebraic substitution still missing).  ADE's are
coming.

Waldek's normalize is now nearly a zero test for elementary functions, if I
understand right.  I guess, one of the next steps is to separate "Expression"
and meromorphic functions, to allow proper treatment of branch cuts.

I have been delayed by Aldor uncertainty, but it seems clear now that NAG and
Stephen Watt are unwilling/unable to release it, so it's clear now what to work
on.  And Waldek is gifted enough to improve the compiler steadily.  Of course,
we are also cooperating with Gaby Dos Reis, who is working on the compiler,
too.  It's a pity that Python is not Aldor :-)

Martin


--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to 
sage-devel-unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---

Reply via email to