On Wed, 19 Nov 2008, root wrote:
The proviso research will eventually allow you to do this but this is long term research, not anything you'll see escape from my desk anytime soon. I don't know of any way to achieve what you want (a Maple-style assume facility) in Axiom.
OK. But still I wonder how does the integration algorithm split these two cases without knowing somehow that it is dealing with a<0 or a>0. Alejandro _______________________________________________ Axiom-math mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-math
