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

Author: François Galea francois.galea@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);