simp_assuming (was Re: mydefint2)



-----maxima-bounces at math.utexas.edu wrote: -----

> I would suggest something like this:

I would be great if somebody tested, documented, and put these functions into /share.

--bw