Re: (no subject)

Alejandro Jakubi <[email protected]> Thu, 20 Nov 2008 02:21:52 -0300
Newsgroups gmane.comp.mathematics.axiom.general
Message-ID <Pine.WNT.4.64.0811200220020.3852@usuario-de5f78f>
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