From c5caa9d311225ee0b88fc350ae48c68684b5de11 Mon Sep 17 00:00:00 2001
From: Markus Triska <triska@metalevel.at>
Date: Wed, 11 Jan 2023 17:22:38 +0100
Subject: [PATCH 1/2] ADDED: sign/1 is now reifiable.

This addresses #1500.
---
 src/lib/clpz.pl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl
index 207499b2..4871851b 100644
--- a/src/lib/clpz.pl
+++ b/src/lib/clpz.pl
@@ -3542,6 +3542,7 @@ parse_reified(E, R, D,
                m(msb(A))     => [function(D,msb,A,R)],
                m(lsb(A))     => [function(D,lsb,A,R)],
                m(popcount(A)) => [function(D,popcount,A,R)],
+               m(sign(A))    => [function(D,sign,A,R)],
                m(A<<B)       => [function(D,<<,A,B,R)],
                m(A>>B)       => [function(D,>>,A,B,R)],
                m(A/\B)       => [function(D,/\,A,B,R)],

From f213956ceb76a56f5353db754ff57815909570dc Mon Sep 17 00:00:00 2001
From: Markus Triska <triska@metalevel.at>
Date: Wed, 11 Jan 2023 17:23:53 +0100
Subject: [PATCH 2/2] use (#)/1

---
 src/lib/clpz.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl
index 4871851b..de522ab6 100644
--- a/src/lib/clpz.pl
+++ b/src/lib/clpz.pl
@@ -2310,7 +2310,7 @@ single_value(V, V)    :- var(V), !, non_monotonic(V).
 single_value(V, V)    :- integer(V).
 single_value(?(V), V) :- fd_variable(V).
 
-coeff_var_plusterm(C, V, T0, T0+(C* ?(V))).
+coeff_var_plusterm(C, V, T0, T0+(C* #V)).
 
 coeff_int_linsum(C, I, S0, S) :- S is S0 + C*I.