The easiest way to fix simp_assuming is to eliminate it. I've tested
replacing calls to simp_assuming with things such as:
supcontext(cntx),
e : unwind_protect((assume(lo <= x, x <= hi),expand(e,0,0)), killcontext(cntx)),
Likely, I'll expunge simp_assuming from abs_integrate (in share/contrib).
One more thing: ?? subcontext gives
-- Function: supcontext (<name>)
Creates a new context, called <name>, which has <context> as a
subcontext. <context> must exist.
If <context> is not specified, the current context is assumed.
But the user documentation is:
Function: supcontext (name, context)
Function: supcontext (name)
Creates a new context, called name, which has context as a subcontext. context must exist.
If context is not specified, the current context is assumed.
The ?? supcontext documentation is missing "Function: supcontext (name, context)"
--Barton