[PURRS-devel] purrs/src compute_bounds.cc

[Tatiana Zolo]

CVSROOT:	/cvs/purrs
Module name:	purrs
Changes by:	zolo at 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?cvsroot=purrs&r1=1.39&r2=1.40