26 Jun
2003
26 Jun
'03
7:46 a.m.
CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo@cs.unipr.it 2003-06-26 09:46:48
Modified files: src : compute_bounds.cc
Log message: Several improvements in the computation of lower bounds and upper bounds: beyond to the division between polynomial part and non-polynomial part of the non homogeneous term, now these two part are ulteriorly divided in many parts how many are their addends, so that is more probable to apply the sharper bounds. Fixed some little errors. Added comments.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?c...