October 2002 - PURRS-devel - BUGSENG Mailman

purrs/src rr_solver.cc
by Tatiana Zolo 11 Oct '02

11 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-10-11 21:21:57 Modified files: src : rr_solver.cc Log message: Considered `simplify_factorials_and_exponentials()' also in `verify_solution()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

purrs/src gosper.cc
by Tatiana Zolo 11 Oct '02

11 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-10-11 21:18:43 Modified files: src : gosper.cc Log message: Fixed three errors: used `expand()' on expression in order to have the right answer from `lcoeff()'; reversed call to `numerator()' with call to `denominator()'; used Number constructor for unsigned. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/gosper.cc.diff?cvsroot=…

1 0

purrs/interfaces/Prolog
by Roberto Bagnara 11 Oct '02

11 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-10-11 18:26:23 purrs/interfaces/Prolog Update of /cvs/purrs/purrs/interfaces/Prolog In directory spartacus.cs.unipr.it:/tmp/cvs-serv17785/Prolog Log Message: Directory /cvs/purrs/purrs/interfaces/Prolog added to the repository

1 0

purrs/interfaces
by Roberto Bagnara 11 Oct '02

11 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-10-11 18:26:08 purrs/interfaces Update of /cvs/purrs/purrs/interfaces In directory spartacus.cs.unipr.it:/tmp/cvs-serv17766/interfaces Log Message: Directory /cvs/purrs/purrs/interfaces added to the repository

1 0

purrs/src gosper.cc
by Tatiana Zolo 11 Oct '02

11 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-10-11 17:51:52 Modified files: src : gosper.cc Log message: Fixed a bug in function `gosper()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/gosper.cc.diff?cvsroot=…

1 0

purrs/src gosper.cc gosper.hh rr_solver.cc
by Tatiana Zolo 11 Oct '02

11 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-10-11 16:56:37 Modified files: src : gosper.cc gosper.hh rr_solver.cc Log message: Implemented `gosper_step_one()'. Consequently modified `gosper()' and calls to it. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/gosper.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/gosper.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

purrs/src Expr.defs.hh Expr.inlines.hh
by Tatiana Zolo 11 Oct '02

11 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-10-11 16:52:31 Modified files: src : Expr.defs.hh Expr.inlines.hh Log message: Added bool is_rational_function() const; necessary for gosper_step_one() (only temporary, i. e. until a purrs implementation for this function). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.inlines.hh.diff?cv…

1 0

purrs/src simplify.cc simplify.hh
by Tatiana Zolo 11 Oct '02

11 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-10-11 13:07:15 Modified files: src : simplify.cc simplify.hh Log message: Added functions in order to simplify factorials. 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

purrs/src sum_poly.cc
by Tatiana Zolo 11 Oct '02

11 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-10-11 13:05:56 Modified files: src : sum_poly.cc Log message: Used Number instead of unsigned. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/sum_poly.cc.diff?cvsroo…

1 0

purrs/src Number.inlines.hh
by Tatiana Zolo 11 Oct '02

11 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-10-11 13:02:23 Modified files: src : Number.inlines.hh Log message: Little change. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Number.inlines.hh.diff?…

1 0