October 2002 - PURRS-devel - BUGSENG Mailman

purrs/tests heap recurrences
by Tatiana Zolo 30 Oct '02

30 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-10-30 12:24:23 Modified files: tests : heap recurrences Log message: Added a new recurrence with variable coefficient. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/recurrences.diff?cvsr…

1 0

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

30 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-10-30 12:20:59 Modified files: src : rr_solver.cc Log message: Pass to `simplify_on_output_ex()' only expanded expression. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

purrs/tests heap
by Tatiana Zolo 30 Oct '02

30 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-10-30 11:30:20 Modified files: tests : heap Log message: Changed `E' with `y' in two first order recurrence with variable coefficient. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

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

30 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-10-30 11:21:39 Modified files: src : rr_solver.cc Log message: Call `compute_product' only on normalized expression. Patches: 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 30 Oct '02

30 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-10-30 11:08:28 Modified files: src : Expr.defs.hh Expr.inlines.hh Log message: Added the method `Expr normalize() const' that does the normalization of rational functions. 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 Recurrence.cc Recurrence.defs.hh
by Roberto Bagnara 30 Oct '02

30 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-10-30 10:19:17 Modified files: src : Recurrence.cc Recurrence.defs.hh Log message: Prepare for having only one copy of the symbol `n'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.defs.hh.diff…

1 0

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

30 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-10-30 09:21:41 Modified files: src : Expr.defs.hh Expr.inlines.hh gosper.cc util.cc util.hh Log message: Removed method `bool is_rational_function() const;' and added the PURRS function `bool is_rational_function(const Expr& e, const Symbol& x)'. 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… 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/util.cc.diff?cvsroot=pu… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.hh.diff?cvsroot=pu…

1 0

purrs/tests recurrences
by Tatiana Zolo 30 Oct '02

30 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-10-30 09:16:06 Modified files: tests : recurrences Log message: Commented a recurrence. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/recurrences.diff?cvsr…

1 0

purrs/tests heap
by Roberto Bagnara 30 Oct '02

30 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-10-30 08:30:04 Modified files: tests : heap Log message: 26 new recurrences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

w3purrs/htdocs Makefile Download/Download.raw ...
by Roberto Bagnara 29 Oct '02

29 Oct '02

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: roberto(a)cs.unipr.it 2002-10-29 17:41:44 Modified files: htdocs : Makefile htdocs/Download: Download.raw requirements.raw htdocs/templates: choicebar.tmpl choicestrip.tmpl Log message: Download section enabled. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/Makefile.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/Download/Download.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/Download/requireme… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/templates/choiceba… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/templates/choicest…

1 0