September 2002 - PURRS-devel

purrs/tests rrs_driver.cc
by Tatiana Zolo 13 Sep '02

13 Sep '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-09-13 12:30:40 Modified files: tests : rrs_driver.cc Log message: Now we must call `solve_try_hard()' (and not `solve()') in according with the reorganization of rr_solver.cc. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0

purrs/src rr_solver.cc
by Tatiana Zolo 12 Sep '02

12 Sep '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-09-12 18:26:52 Modified files: src : rr_solver.cc Log message: Fixed a bug: if (decrement >= LONG_MAX || decrement >= coefficients.max_size()) return HAS_HUGE_DECREMENT; instead of if (decrement <= LONG_MAX || decrement >= coefficients.max_size()) return HAS_HUGE_DECREMENT; Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

purrs/src alg_eq_solver.hh globals.hh poly_fac ...
by Roberto Bagnara 12 Sep '02

12 Sep '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-09-12 16:59:48 Modified files: src : alg_eq_solver.hh globals.hh poly_factor.hh simplify.hh sum_poly.hh util.hh Log message: Multiple inclusion guards changed so as to comply with the C++ standard. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/alg_eq_solver.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/globals.hh.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/poly_factor.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.hh.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/sum_poly.hh.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.hh.diff?cvsroot=pu…

1 0

purrs/src rr_solver.hh rr_solver.cc
by Roberto Bagnara 12 Sep '02

12 Sep '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-09-12 16:59:15 Modified files: src : rr_solver.hh rr_solver.cc Log message: Major reorganization of solve() started. A more powerful version, solve_try_hard(), introduced. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

w3purrs/htdocs/Links Links.raw
by Alessandro Zaccagnini 11 Sep '02

11 Sep '02

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: zaccagnini(a)cs.unipr.it 2002-09-11 19:43:52 Modified files: htdocs/Links : Links.raw Log message: Added links to Zeilberger's homepage, and to the books `A=B' and `Generatingfunctionology' Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/Links/Links.raw.di…

1 0

purrs/src rr_solver.cc
by Roberto Bagnara 11 Sep '02

11 Sep '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-09-11 19:26:10 Modified files: src : rr_solver.cc Log message: Reorganization and cleaning of solve() started. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

purrs/src rr_solver.hh
by Roberto Bagnara 11 Sep '02

11 Sep '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-09-11 19:25:41 Modified files: src : rr_solver.hh Log message: The enum Solve_Status has been drafted. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.hh.diff?cvsro…

1 0

purrs/src rr_solver.cc util.cc util.hh
by Roberto Bagnara 11 Sep '02

11 Sep '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)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?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.cc.diff?cvsroot=pu… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.hh.diff?cvsroot=pu…

1 0

purrs/src util.cc
by Tatiana Zolo 11 Sep '02

11 Sep '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-09-11 15:24:17 Modified files: src : util.cc Log message: Improved comment of the function 'assign_polynomial_part()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.cc.diff?cvsroot=pu…

1 0

purrs/src rr_solver.cc
by Roberto Bagnara 11 Sep '02

11 Sep '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-09-11 15:07:04 Modified files: src : rr_solver.cc Log message: Improvements to valid_base(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0