________________________________________
On Thu, May 23, 2013 at 10:33 AM, Barton Willis <willisb at unk.edu> wrote:
> (defmfun asksign-p-or-n (e)
> (unwind-protect (prog2
> (assume `(($notequal) ,e 0))
> ($asksign e))
> (forget `(($notequal) ,e 0))))
>
> Maybe this code is never called if it has been assumed that
> notequal(e,0). But this assume / forget method is suboptimal.
> Yeah -- better to create a new context and kill it after the computation is over, right?
Yes--the context mechanism should handle this just fine.
--Barton