Using assume() with simplification functions.

Thanks for the response.

I am wondering in which cases the general simplifier does use assume() 
information.

Any assistance with the following would be appreciated:

(1) Which built-in Maxima simplification functions or other functions  
definitely take into account assume() information ?

(2) Is it possible to somehow set a variable or flag such that the general 
simplifier does take into account assume() information ?

Thanks very much.

Costas.


On Thursday 17 December 2009 04:15:39 pm Stavros Macrakis wrote:
> Though the internals of radcan and ratsimp *per se* ignore assume, they
> return a result which is resimplified by the general simplifier, which
> *does * take assume information into account in some cases.
>
> On Thu, Dec 17, 2009 at 8:31 AM, Richard Fateman 
<fateman at cs.berkeley.edu>wrote:
> > radcan and ratsimp are supposed to ignore "assume",  at least as
> > originally written.
> >
> >
> > _______________________________________________
> > Maxima mailing list
> > Maxima at math.utexas.edu
> > http://www.math.utexas.edu/mailman/listinfo/maxima