August 2004 - PURRS-devel - BUGSENG Mailman

purrs src/simplify.cc tests/simpl_tests
by Andrea Pescetti 31 Aug '04

31 Aug '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2004-08-31 22:48:31 Modified files: src : simplify.cc tests : simpl_tests Log message: Sums to collect may now have a coefficient. Relevant test case added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/simpl_tests.diff?cvsr…

1 0

purrs/src alg_eq_solver.cc
by Andrea Pescetti 21 Aug '04

21 Aug '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2004-08-22 01:24:47 Modified files: src : alg_eq_solver.cc Log message: Always detect rational roots. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/alg_eq_solver.cc.diff?c…

1 0

purrs src/simplify.cc tests/simpl_tests
by Andrea Pescetti 19 Aug '04

19 Aug '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2004-08-19 23:28:54 Modified files: src : simplify.cc tests : simpl_tests Log message: When simplifying sums, expand and compute them if possible. Comes with testcase. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/simpl_tests.diff?cvsr…

1 0

purrs/tests simpl_tests simplify_driver.cc
by Andrea Pescetti 18 Aug '04

18 Aug '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2004-08-18 22:53:56 Modified files: tests : simpl_tests simplify_driver.cc Log message: Support sums simplification in regression-testing mode. Relevant test cases added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/simpl_tests.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/simplify_driver.cc.di…

1 0

purrs/tests simplify_driver.cc
by Andrea Pescetti 17 Aug '04

17 Aug '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2004-08-17 23:34:46 Modified files: tests : simplify_driver.cc Log message: Tests now support the new sums simplification in interactive mode. Full support to come. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/simplify_driver.cc.di…

1 0

purrs/src simplify.cc simplify.hh
by Andrea Pescetti 16 Aug '04

16 Aug '04

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2004-08-16 17:42:15 Modified files: src : simplify.cc simplify.hh Log message: The new simplification method simplify_collect_sums() looks for symbolic sums in the expression and, when possible, packs them all into a single symbolic sum. When verifying solutions we can thus simplify sums we cannot compute one by one. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.hh.diff?cvsroo…

1 0