October 2002 - PURRS-devel - BUGSENG Mailman

purrs/tests rrs_driver.cc
by Roberto Bagnara 20 Oct '02

20 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-10-20 22:35:22 Modified files: tests : rrs_driver.cc Log message: Do something with the expectations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0

purrs/tests heap
by Roberto Bagnara 20 Oct '02

20 Oct '02

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

1 0

purrs/src Expr.inlines.hh
by Roberto Bagnara 20 Oct '02

20 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-10-20 21:16:55 Modified files: src : Expr.inlines.hh Log message: Removal of Expr::is_equal() completed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.inlines.hh.diff?cv…

1 0

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

20 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-10-20 20:09:50 Modified files: src : rr_solver.cc Log message: Changed a message of an exception. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

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

20 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-10-20 18:35:23 Modified files: src : rr_solver.cc Log message: Modified the structure of `solve()' so that characteristic equation and roots are computed only in the case of recurrences with constant coefficients. Other little changes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

purrs/tests heap
by Roberto Bagnara 20 Oct '02

20 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-10-20 15:38:31 Modified files: tests : heap Log message: Recurrence `x(n) = 3*x(n+5)-x(3*n-9)+a' commented out. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

GiNaC parser problems
by Roberto Bagnara 20 Oct '02

20 Oct '02

Hi there, implementing interactive GiNaC programs is made extremely painful by the fact that GiNaC's parser accepts too much. This claim can be checked with the attached program derived from an example in the tutorial. Basically, stuff at the end of the string sometimes is accepted even if nonsensical. Moreover, once a well-formed string has been parsed, things tend to be accepted anyway. $ a.out Enter an expression containing 'x': x.13 put what you want here The derivative of x with respect to x is 1. $ a.out Enter an expression containing 'x': x. The derivative of 0 with respect to x is 0. Enter an expression containing 'x': x.13 put what you want here The derivative of x with respect to x is 1. Again: $ a.out Enter an expression containing 'x': 0 The derivative of 0 with respect to x is 0. Enter an expression containing 'x': log(|x|) The derivative of 0 with respect to x is 0. Enter an expression containing 'x': log(|x|+put anything here) The derivative of 0 with respect to x is 0. All the best Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it #include <iostream> #include <string> #include <stdexcept> #include <ginac/ginac.h> using namespace std; using namespace GiNaC; int main() { while (true) { symbol x("x"); string s; cout << "Enter an expression containing 'x': "; getline(cin, s); if (!cin) return 0; try { ex e(s, lst(x)); cout << "The derivative of " << e << " with respect to x is "; cout << e.diff(x) << ".\n"; } catch (exception &p) { cerr << p.what() << endl; } } }

1 0

purrs/tests heap
by Roberto Bagnara 20 Oct '02

20 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-10-20 09:15:13 Modified files: tests : heap Log message: Purged from syntax errors. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/tests rrs_driver.cc
by Roberto Bagnara 20 Oct '02

20 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-10-20 09:14:49 Modified files: tests : rrs_driver.cc Log message: Horrible hack to get around the bugs in GiNaC's parser. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/rrs_driver.cc.diff?cv…

1 0

purrs/src Recurrence.defs.hh Recurrence.inlines.hh
by Roberto Bagnara 19 Oct '02

19 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-10-19 22:45:48 Modified files: src : Recurrence.defs.hh Recurrence.inlines.hh Log message: Temporary workaround concerning sharing of the symbol `n'. Patches: 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.d…

1 0