CVSROOT: /cvs/purrs Module name: purrs Changes by: bagnara@cs.unipr.it 2008-01-01 13:40:15
Modified files: . : Makefile.am README configure.ac demos : Makefile.am purrs_eqs_cgi.cc purrs_rrs_cgi.cc doc : Makefile.am definitions.dox devref.tex user.tex infrastructure : depinst interfaces : Makefile.am interfaces/Prolog: Makefile.am m4 : Makefile.am ac_check_gmp.m4 ac_check_use_readline.m4 src : Blackboard.cc Blackboard.defs.hh Blackboard.inlines.hh Blackboard.types.hh Bool3.cc Bool3.defs.hh Bool3.inlines.hh Bool3.types.hh Cached_Expr.cc Cached_Expr.defs.hh Cached_Expr.inlines.hh Cached_Expr.types.hh Constant.cc Constant.defs.hh Constant.inlines.hh Constant.types.hh Expr.cc Expr.defs.hh Expr.inlines.hh Expr.types.hh Expr_List.cc Expr_List.defs.hh Expr_List.inlines.hh Expr_List.types.hh Finite_Order_Info.cc Finite_Order_Info.defs.hh Finite_Order_Info.inlines.hh Finite_Order_Info.types.hh Functional_Equation_Info.cc Functional_Equation_Info.defs.hh Functional_Equation_Info.inlines.hh Functional_Equation_Info.types.hh Init.cc Init.defs.hh Init.inlines.hh Init.types.hh Makefile.am Matrix.cc Matrix.defs.hh Matrix.inlines.hh Matrix.types.hh Non_Linear_Info.cc Non_Linear_Info.defs.hh Non_Linear_Info.inlines.hh Non_Linear_Info.types.hh Number.cc Number.defs.hh Number.inlines.hh Number.types.hh Recurrence.cc Recurrence.defs.hh Recurrence.inlines.hh Recurrence.types.hh Symbol.cc Symbol.defs.hh Symbol.inlines.hh Symbol.types.hh Weighted_Average_Info.cc Weighted_Average_Info.defs.hh Weighted_Average_Info.inlines.hh Weighted_Average_Info.types.hh alg_eq_solver.cc alg_eq_solver.hh compute_bounds.cc compute_exact_solution.cc compute_prod.cc compute_prod.hh ep_decomp.cc ep_decomp.hh fact_decomp.cc fact_decomp.hh factorize.cc factorize.hh factorize_giac.cc factorize_giac.hh finite_order.cc finite_order.hh functional_equation.cc functional_equation.hh globals.cc globals.hh gosper.cc gosper.hh initializer.hh numerator_denominator.cc numerator_denominator.hh poly_factor.cc purrs_header.top rr_classifier.cc simplify.cc simplify.hh size_norm.cc size_norm.hh size_norm_impl.hh sum_poly.cc sum_poly.hh timings.hh tsc.hh util.cc util.hh verify.cc zeilberger.cc zeilberger.hh src/Intervals : Boundary.cc Boundary.defs.hh Boundary.inlines.hh Boundary.types.hh IEEE754.h Interval.cc Interval.defs.hh Interval.inlines.hh Interval.types.hh Makefile.am round.h src/Intervals/sysdep: Makefile.am alpha.h c99.h ix86.h m68k.h sparc.h tests : Makefile.am ehandlers.cc ehandlers.hh eqs_driver.cc gosper_driver.cc multivar_driver.cc rr_filter.cc rrs_driver.cc simplify_driver.cc zeilberger_driver.cc
Log message: Copyright years extended.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/Makefile.am.diff?cvsroot=pur... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/README.diff?cvsroot=purrs&am... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/configure.ac.diff?cvsroot=pu... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/demos/Makefile.am.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/demos/purrs_eqs_cgi.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/demos/purrs_rrs_cgi.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/Makefile.am.diff?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/definitions.dox.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/devref.tex.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/user.tex.diff?cvsroot=pu... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/infrastructure/depinst.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/interfaces/Makefile.am.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/interfaces/Prolog/Makefile.a... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/m4/Makefile.am.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/m4/ac_check_gmp.m4.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/m4/ac_check_use_readline.m4.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Blackboard.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Blackboard.defs.hh.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Blackboard.inlines.hh.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Blackboard.types.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Bool3.cc.diff?cvsroot=pu... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Bool3.defs.hh.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Bool3.inlines.hh.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Bool3.types.hh.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Cached_Expr.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Cached_Expr.defs.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Cached_Expr.inlines.hh.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Cached_Expr.types.hh.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Constant.cc.diff?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Constant.defs.hh.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Constant.inlines.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Constant.types.hh.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.cc.diff?cvsroot=pur... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.defs.hh.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.inlines.hh.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.types.hh.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr_List.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr_List.defs.hh.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr_List.inlines.hh.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr_List.types.hh.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Finite_Order_Info.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Finite_Order_Info.defs.h... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Finite_Order_Info.inline... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Finite_Order_Info.types.... 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/Functional_Equation_Info... 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/Functional_Equation_Info... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Init.cc.diff?cvsroot=pur... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Init.defs.hh.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Init.inlines.hh.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Init.types.hh.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Makefile.am.diff?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Matrix.cc.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Matrix.defs.hh.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Matrix.inlines.hh.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Matrix.types.hh.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Non_Linear_Info.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Non_Linear_Info.defs.hh.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Non_Linear_Info.inlines.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Non_Linear_Info.types.hh... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Number.cc.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Number.defs.hh.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Number.inlines.hh.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Number.types.hh.diff?cvs... 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/Recurrence.defs.hh.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.inlines.hh.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.types.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Symbol.cc.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Symbol.defs.hh.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Symbol.inlines.hh.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Symbol.types.hh.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Weighted_Average_Info.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Weighted_Average_Info.de... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Weighted_Average_Info.in... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Weighted_Average_Info.ty... 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/alg_eq_solver.hh.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/compute_prod.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_prod.hh.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/ep_decomp.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/ep_decomp.hh.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/fact_decomp.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/fact_decomp.hh.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/factorize.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/factorize.hh.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/factorize_giac.cc.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/factorize_giac.hh.diff?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/finite_order.hh.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/functional_equation.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/functional_equation.hh.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/globals.cc.diff?cvsroot=... 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/gosper.cc.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/gosper.hh.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/initializer.hh.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/numerator_denominator.cc... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/numerator_denominator.hh... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/poly_factor.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/purrs_header.top.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_classifier.cc.diff?cv... 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/src/size_norm.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/size_norm.hh.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/size_norm_impl.hh.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/sum_poly.cc.diff?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/sum_poly.hh.diff?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/timings.hh.diff?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/tsc.hh.diff?cvsroot=purr... 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... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/verify.cc.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/zeilberger.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/zeilberger.hh.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/Boundary.cc.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/Boundary.defs.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/Boundary.inlin... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/Boundary.types... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/IEEE754.h.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/Interval.cc.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/Interval.defs.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/Interval.inlin... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/Interval.types... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/Makefile.am.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/round.h.diff?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/sysdep/Makefil... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/sysdep/alpha.h... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/sysdep/c99.h.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/sysdep/ix86.h.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/sysdep/m68k.h.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/sysdep/sparc.h... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/Makefile.am.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/ehandlers.cc.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/ehandlers.hh.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/eqs_driver.cc.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/gosper_driver.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/multivar_driver.cc.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rr_filter.cc.diff?cvsr... 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... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/zeilberger_driver.cc.d...