CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo@cs.unipr.it 2003-07-02 13:10:24

Modified files: src : compute_bounds.cc

Log message: Several improvements in the computation of the lower bounds and the upper bounds after the introduction of the methods that find constant functions (e.g. log(2)) and constant powers (e.g. sqrt(3)).

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?c...