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