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