| commit | 9e469ee544894ecc0a179cbe107b072625389740 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 27 Mar 2010 12:31:13 +0000 (27 13:31 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 27 Mar 2010 16:34:44 +0000 (27 17:34 +0100) | ||
| tree | 0274740a788a8da72789a7712a12bad46827da9a | treesnapshot (tar.gz zip) |
| parent | 359bc9e2894b8c44da97bb0992d90e9efb541acb | commitdiff |
evalue_range_propagation: fix substitution for negative variables
For negative values, the largest positive terms are those
with the lower bound plugged in.
Also, after plugging in (eliminating) a variable, the signs
should be shifted as well.
For negative values, the largest positive terms are those
with the lower bound plugged in.
Also, after plugging in (eliminating) a variable, the signs
should be shifted as well.
| range.cc | diffblobblamehistory | |
| tests/evalue/neg | [new file with mode: 0644] | blob |