- PURRS-devel - BUGSENG Mailman

purrs/src simplify.cc
by Tatiana Zolo 27 Aug '02

27 Aug '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-08-27 18:10:01 Modified files: src : simplify.cc Log message: Fixed an error caused by the previous commit. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo…

1 0

purrs/src simplify.cc
by Tatiana Zolo 27 Aug '02

27 Aug '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-08-27 12:28:16 Modified files: src : simplify.cc Log message: Little improvement in 'perfect_root()'. Fixed comment and erased an assert in 'found_and_erase_n()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo…

1 0

purrs/src simplify.cc
by Tatiana Zolo 27 Aug '02

27 Aug '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-08-27 11:39:54 Modified files: src : simplify.cc Log message: Removed function 'gcd()': use that in util.{hh, cc}. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo…

1 0

purrs/src util.cc
by Tatiana Zolo 26 Aug '02

26 Aug '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-08-26 19:14:42 Modified files: src : util.cc Log message: Improved comment of 'assign_poly_part_and_no_poly_part()'. Modified function 'find_polynomial_part()' that has been renamed 'is_polynomial()'. 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 Tatiana Zolo 26 Aug '02

26 Aug '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-08-26 10:48:48 Modified files: src : rr_solver.cc Log message: Added the function 'static bool verify_solution()': it put in evidence some solution not enough simplified. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

purrs/src rr_solver.cc
by Tatiana Zolo 25 Aug '02

25 Aug '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-08-25 16:16:27 Modified files: src : rr_solver.cc Log message: Changed 'ground' in 'valid_base' an wrote the function 'valid_base()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

purrs/src rr_solver.cc
by Roberto Bagnara 22 Aug '02

22 Aug '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-08-22 19:17:49 Modified files: src : rr_solver.cc Log message: In exp_poly_decomposition_summand() the substitution was reused without being cleared. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

purrs/src rr_solver.cc
by Tatiana Zolo 22 Aug '02

22 Aug '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-08-22 18:30:04 Modified files: src : rr_solver.cc Log message: Correct some error. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

purrs/src rr_solver.cc
by Roberto Bagnara 22 Aug '02

22 Aug '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-08-22 18:14:08 Modified files: src : rr_solver.cc Log message: Complete rewrite of exp_poly_decomposition(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

purrs/src rr_solver.cc
by Tatiana Zolo 22 Aug '02

22 Aug '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-08-22 18:07:39 Modified files: src : rr_solver.cc Log message: Minor changes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0