assume:problems with fractions or multiples of %pi and %e
Subject: assume:problems with fractions or multiples of %pi and %e
From: Dieter Kaiser
Date: Sun, 04 Oct 2009 17:50:01 +0200
Am Samstag, den 03.10.2009, 16:31 +0200 schrieb Dieter Kaiser:
> There is one open problem. One example of the testsuite in rtestint.mac
> fails. I have to understand why this happens.
I have found the reason for the last problem with the extension
learn-numer. The mechanism to add additional facts does not work in all
cases correctly when called from defint. It seems to me that defint has
some problems to restore the facts after finishing the integration.
Perhaps the reported bug 2872553 - "Assume database inconsistent after
integration" is related to this problem too.
When we do not call learn-numer if we are in defint (we check the flag
limitp) the testsuite and the share_testsuite will have no problems with
the extension learn-numer.
Dieter Kaiser