CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2003-07-10 14:36:47
Modified files:
src : util.cc
Log message:
Fixed a problem in the case of logarithm function in the
function `largest_positive_int_zero_on_expanded_ex()'.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.cc.diff?cvsroot=pu…
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo(a)cs.unipr.it 2003-07-08 18:34:11
Modified files:
src : compute_exact_solution.cc
Log message:
Added the call to the function `simplify_logarithm()' on the
exact solution.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_exact_solution.…