December 2002 - PURRS-devel

purrs/src Makefile.am
by Tatiana Zolo 05 Dec '02

05 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-05 18:26:58 Modified files: src : Makefile.am Log message: Added the files Finite_Order_Info.{defs.hh, inlines.hh, types.hh, cc}. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Makefile.am.diff?cvsroo…

1 0

purrs/src Finite_Order_Info.defs.hh Finite_Ord ...
by Tatiana Zolo 05 Dec '02

05 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-05 17:52:03 Added files: src : Finite_Order_Info.defs.hh Finite_Order_Info.inlines.hh Finite_Order_Info.types.hh Finite_Order_Info.cc Log message: Added the class that contain the informations of finite order recurrences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Finite_Order_Info.defs.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Finite_Order_Info.inlin… 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/Finite_Order_Info.cc?cv…

1 0

purrs/src Recurrence.types.hh
by Tatiana Zolo 05 Dec '02

05 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-05 15:25:20 Modified files: src : Recurrence.types.hh Log message: Removed `PPL'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.types.hh.dif…

1 0

purrs/src Expr.cc
by Tatiana Zolo 05 Dec '02

05 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-05 10:13:40 Modified files: src : Expr.cc Log message: Fixed `mod_eval()' and `mod_evalf()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.cc.diff?cvsroot=pu…

1 0

purrs/src gosper.cc
by Tatiana Zolo 05 Dec '02

05 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-05 09:58:35 Modified files: src : gosper.cc Log message: Used `simplify_numer_denom()' instead of `transform_in_single_fraction()' in `gosper_step_one()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/gosper.cc.diff?cvsroot=…

1 0

purrs/tests recurrences
by Tatiana Zolo 05 Dec '02

05 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-05 09:52:55 Modified files: tests : recurrences Log message: Added some solutions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/recurrences.diff?cvsr…

1 0

purrs/tests simpl_tests
by Tatiana Zolo 04 Dec '02

04 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-04 19:10:17 Modified files: tests : simpl_tests Log message: Added an expression containing factorials. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/simpl_tests.diff?cvsr…

1 0

purrs/tests heap
by Roberto Bagnara 04 Dec '02

04 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-12-04 18:46:21 Modified files: tests : heap Log message: Recurrences marked with `y' can now be further qualified: with `v', if the result is provably correct; with `w', if the result is a provably wrong; with `d', if the correctness of the result can neither be proved nor be disproved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src gosper.cc
by Tatiana Zolo 04 Dec '02

04 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-04 17:13:58 Modified files: src : gosper.cc Log message: Improved the function `gosper_step_four()': we no longer use `match()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/gosper.cc.diff?cvsroot=…

1 0

purrs/tests recurrences
by Tatiana Zolo 04 Dec '02

04 Dec '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-12-04 16:28:42 Modified files: tests : recurrences Log message: Removed a wrong solution. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/recurrences.diff?cvsr…

1 0