CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo@cs.unipr.it 2003-01-21 11:41:59

Modified files: src : Functional_Equation_Info.defs.hh Recurrence.cc alg_eq_solver.cc compute_bounds.cc compute_exact_solution.cc finite_order.cc rr_solver.cc simplify.cc simplify.hh tests : rrs_driver.cc simplify_driver.cc

Log message: Renamed `simplify_on_input_ex()' and `simplify_on_output_ex()' in `simplify_ex_for_input()' and `simplify_ex_for_output()'. Moreover, if the expression to simplify must be expanded, then the same function that simplifies calls the method `expand()'.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Functional_Equation_Info... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/alg_eq_solver.cc.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_bounds.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_exact_solution.c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/finite_order.cc.diff?cvs... 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/simplify.cc.diff?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/simplify.hh.diff?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/simplify_driver.cc.dif...