From: Markus Triska <triska@metalevel.at>
Date: Mon, 31 Jul 2023 19:57:25 +0000 (+0200)
Subject: ENHANCED: forget auxiliary constraints set up by the propagator for multiplication
X-Git-Tag: v0.9.2~17^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=54a887cdc37982a18f363a56edfce9583db7ab95;p=scryer-prolog.git

ENHANCED: forget auxiliary constraints set up by the propagator for multiplication

This addresses the issue raised in https://github.com/mthom/scryer-prolog/discussions/1937.
---

diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl
index 9b162a19..38e52657 100644
--- a/src/lib/clpz.pl
+++ b/src/lib/clpz.pl
@@ -5898,6 +5898,11 @@ in_(L, U, X) :-
         fd_put(X, NXD, XPs).
 
 min_max_factor(L1, U1, L2, U2, L3, U3, Min, Max) :-
+        % use findall/3 to forget auxiliary constraints that are only
+        % needed temporarily for reasoning about domain boundaries
+        findall(Min-Max, min_max_factor_(L1, U1, L2, U2, L3, U3, Min, Max), [Min-Max]).
+
+min_max_factor_(L1, U1, L2, U2, L3, U3, Min, Max) :-
         (   U1 cis_lt n(0),
             L2 cis_lt n(0), U2 cis_gt n(0),
             L3 cis_lt n(0), U3 cis_gt n(0) ->