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?
best
Robert Dodier