[Maxima] simp_assuming (was Re: mydefint2)

Robert Dodier robert.dodier at gmail.com
Fri Mar 16 00:56:45 CDT 2012

Well, fwiw here's another attempt at simp_assuming ...

simp_assuming (e, [fcts])::=buildq ([e, fcts],
    unwind_protect ((apply (supcontext, ?gensym ("cntxt")]),
        apply (assume, fcts),
        expand (e, 0, 0)),
        killcontext (context)));

(killcontext(context) kills the current context whatever it is,
so it isn't necessary to remember the gensym.)

Does that work any better?


Robert Dodier

More information about the Maxima mailing list