From 7c1cd18a0640c11bdb5e55e05ab0ee2fee0fe02a Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Mon, 9 Oct 2023 23:13:09 +0200 Subject: [PATCH] Z --> Y --- 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 5e73a14f..b2fec0c8 100644 --- a/src/lib/clpz.pl +++ b/src/lib/clpz.pl @@ -2824,7 +2824,7 @@ matches([ m(var(X) #= var(Y)+var(Z)) => [p(pplus(Y,Z,X))], m(var(X) #= var(Y)-var(Z)) => [p(pplus(X,Z,Y))], m(var(X) #= var(Y)*var(Z)) => [p(ptimes(Y,Z,X))], - m(var(X) #= -var(Z)) => [p(pplus(X,Z,0))], + m(var(X) #= -var(Y)) => [p(pplus(X,Y,0))], m_c(any(X) #= any(Y), left_right_linsum_const(X, Y, Cs, Vs, S)) => [g(scalar_product_(#=, Cs, Vs, S))], m_c(var(X) #= abs(var(Y)) + any(V0), X == Y) => [d(V0,V),p(x_eq_abs_plus_v(X,V))], -- 2.54.0