> I believe Barton has succeeded with it. Take a look at his code.
Specifically for examples of using contexts, see the code in abs_integrate.mac (committed some weeks ago).
Relevant functions include newcontext, killcontext, and supcontext. I didn't encounter any bugs or things
that I thought might be bugs in the context mechanisms, but I was doing simple stuff, I think.
Also, if you search the mailing list (earlier this year I think), you'll find various proposals for a context
based evaluate_assuming function.
--Barton