On 2013-08-30, Raymond Toy <toy.raymond at gmail.com> wrote:
> 3137b946bed77dc4311e4266ed338cd2d46d299f is the first bad commit
> commit 3137b946bed77dc4311e4266ed338cd2d46d299f
> Author: robert_dodier <robert_dodier at users.sourceforge.net>
> Date: Thu Mar 21 16:03:43 2013 -0700
>
> Call CLEARSIGN from $SIGN to clean up facts introduced by sign functions.
>
> All versions before this commit are fine; you only have to answer one
> question and the integral is evaluated correctly. All versions after this
> version are bad; you have to answer several questions and the integral
> is not evaluated.
Hrm. That change was made to counteract some other strange behavior --
'sign' left some facts floating around after it was called. Without
looking at the integration code, my guess is that it is assuming the
sign fact persists for the duration of the integration. Should there be
separate sign-plus-cleanup and sign-with-no-cleanup functions? It hurts
my head a little bit but maybe so ....
Thanks for looking into it --
Robert Dodier