[PPL-devel] [GIT] ppl/ppl(pip): Proper scaling of cuts in compatiblity_check.

[François Galea]

Module: ppl/ppl
Branch: pip
Commit: 75d549f15888d736c5bb55175868ee3c26a0201b
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=75d549f15888d736c5bb55175868ee3c26a0201b

Author: François Galea <francois.galea at uvsq.fr>
Date:   Mon Nov  2 16:59:51 2009 +0100

Proper scaling of cuts in compatiblity_check.

---

 src/PIP_Tree.cc |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/src/PIP_Tree.cc b/src/PIP_Tree.cc
index f7706e4..3f703e7 100644
--- a/src/PIP_Tree.cc
+++ b/src/PIP_Tree.cc
@@ -754,7 +754,7 @@ PIP_Solution_Node::compatibility_check(const Matrix &ctx, const Row &cnst) {
       s.add_zero_rows(1, Row::Flags());
       const Row& row = s[i_];
       Row& cut = s[num_rows++];
-      scaling.push_back(1);
+      scaling.push_back(scaling[i_]);
       const Coefficient& sc = scaling[i_];
       for (j=0; j<num_cols; ++j)
         mod_assign(cut[j], row[j], sc);