[PURRS-devel] purrs/src verify.cc
Tatiana Zolo
zolo at spartacus.cs.unipr.it
Wed Jan 14 10:43:49 CET 2004
CVSROOT: /cvs/purrs
Module name: purrs
Changes by: zolo at cs.unipr.it 2004-01-14 10:43:49
Modified files:
src : verify.cc
Log message:
Fixed a bug in the function `verify_new_method_const_coeff()'.
Lowered the threshold beyond which the solution of recurrences
that are solved with the order reduction method is not expanded.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/verify.cc.diff?cvsroot=purrs&r1=1.8&r2=1.9
More information about the PURRS-devel
mailing list