evalue_range_propagation: remove redundant polynomials from results
commita03d3ee85db10f13abb5680d3f5a41e08b63e2f9
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 23 Mar 2008 14:37:51 +0000 (23 15:37 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 31 Mar 2008 10:07:36 +0000 (31 12:07 +0200)
tree6ed5bebca1b849bc777bb7b0377430e19fcb7ced
parent61e27d733e04341f0f75fd64d581b4acc9024140
evalue_range_propagation: remove redundant polynomials from results
maximize.cc
range.cc
test_bound.cc