I forgot an important paragraph: the implementation of the Risch algorithm seems to be quite up to date however. Furthermore, it appears that the SumIt library by Manuel will be released under a free license, and it should be possible to link it to Axiom. This would probably be state of the art. -- Not for pattern matching integration, of course.
Martin _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer