[Maxima] simp_assuming (was Re: mydefint2)

[Barton Willis]

maxima-bounces at math.utexas.edu wrote on 03/15/2012 12:41:05 PM:

> ... but I'd think it would be handy to have a  with_assumptions macro 
encapsulating this functionality. 

I'll give the macro  approach another try---macro + buildq  isn't the 
easiest thing to understand for users or for me :)

 >The only  slightly tricky/annoying thing here is that you'll need 
gensyms for 
> the context names (since they have to be unique) and supcontext 
> takes a quoted argument.  

OK thanks for the tip---I guess I need to use the odious  
apply('supcontext,[cntx]). 

> Have I mentioned that I find autoquoting  to be really annoying?

Yes :)

--bw
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.math.utexas.edu/pipermail/maxima/attachments/20120315/c3314bf5/attachment.html>