CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto@cs.unipr.it 2002-09-11 17:27:32

Modified files: src : rr_solver.cc util.cc util.hh

Log message: The functions is_valid_base() and is_scalar_for_poly() have both been replaced by is_scalar_representation() in util.cc. The function assign_polynomial_part() has been improved and renamed isolate_polynomial_part(). All the new functions have been documented properly.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.cc.diff?cvsroot=pur... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.hh.diff?cvsroot=pur...