Re: [Axiom-math] (no subject)

[Alejandro Jakubi]

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