February 2002 - PURRS-devel

purrs/src rr_solver.cc
by Tatiana Zolo 28 Feb '02

28 Feb '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-03-01 00:42:33 Modified files: src : rr_solver.cc Log message: Added the case of binary (i. e., order 2) recurrence relations. In a lot of cases (always in binary recurrence) still does not return the exact solution. Several things to fix. 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 28 Feb '02

28 Feb '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-02-28 17:06:30 Modified files: src : rr_solver.cc Log message: The prints are checked by the flag NOISY. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

[Fwd: Problem with subs]
by Tatiana Zolo 28 Feb '02

28 Feb '02

-------- Original Message -------- Subject: Problem with subs Date: Thu, 28 Feb 2002 11:43:51 +0100 From: Tatiana Zolo <zolo(a)cs.unipr.it> Reply-To: ginac-list(a)zino.physik.uni-mainz.de To: "ginac-list(a)zino.physik.uni-mainz.de" <ginac-list(a)zino.physik.uni-mainz.de> CC: Alessandro Zaccagnini <zaccagni(a)prmat.math.unipr.it> We do not understand how subs works in some cases: we tried the following ginsh session > p=x+1; 1+x > subs(p,x==k-1); k > subs(p,x==x-1); -1+x > subs(p,x==x-2); -1+x > subs(p,x==x^2-1); x^2 > subs(p,x==x^2); 1+x^2 so, apparently, subs is sometimes wrong. We couldn't find anything in the documentation to explain this fact. Thank you very much. Best wishes Alessandro Zaccagnini Tatiana Zolo purrs developers, at the University of Parma, Italy

1 0

[Fwd: Problems with expand()]
by Tatiana Zolo 28 Feb '02

28 Feb '02

-------- Original Message -------- Subject: Problems with expand() Date: Thu, 28 Feb 2002 11:48:50 +0100 From: Tatiana Zolo <zolo(a)cs.unipr.it> Reply-To: ginac-list(a)zino.physik.uni-mainz.de To: ginac <ginac-list(a)zino.physik.uni-mainz.de> We have a few questions about GinaC's behaviour. For our purposes, it would be useful to have a slightly more general form of expand that takes care of non-ambiguous iterated exponentials, as in the case (2^x)^3 which we would like to see in the form 2^(3*x) or even 8^x We understand that there are cases when this should not be done automatically, but we believe that this is an instance when there is no harm in simplifying since 2 is a positive real number and there is no question of complex numbers being involved. A "real" version of expand would be very useful for us. Do you plan to add these features to a future release of GiNaC? Thank you very much. Best wishes Alessandro Zaccagnini Tatiana Zolo purrs developers, at the University of Parma, Italy

1 0

purrs/src rr_solver.cc
by Alessandro Zaccagnini 28 Feb '02

28 Feb '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zaccagnini(a)cs.unipr.it 2002-02-28 11:08:03 Modified files: src : rr_solver.cc Log message: Changed call to sum_poly_times_exponentials, that now returns an expression. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

purrs/src sum_poly.cc sum_poly.hh
by Alessandro Zaccagnini 28 Feb '02

28 Feb '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zaccagnini(a)cs.unipr.it 2002-02-28 11:07:17 Modified files: src : sum_poly.cc sum_poly.hh Log message: Added two functions for summing products of polynomials, exponentials and trigonometrical functions (sin, cos). Changed definition of sum_poly_times_exponentials: now it returns an expression. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/sum_poly.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/sum_poly.hh.diff?cvsroo…

1 0

w3purrs/htdocs purrs.raw
by Roberto Bagnara 28 Feb '02

28 Feb '02

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: roberto(a)cs.unipr.it 2002-02-28 10:28:23 Modified files: htdocs : purrs.raw Log message: Some progress in the entry form. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/purrs.raw.diff?cvs…

1 0

w3purrs/htdocs purrs.raw demos.raw
by Roberto Bagnara 28 Feb '02

28 Feb '02

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: roberto(a)cs.unipr.it 2002-02-28 09:10:29 Modified files: htdocs : purrs.raw Added files: htdocs : demos.raw Log message: Started improving the home page. Restructuring of the demos. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/demos.raw.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/purrs.raw.diff?cvs…

1 0

w3purrs/htdocs/Links Links.raw
by Roberto Bagnara 28 Feb '02

28 Feb '02

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: roberto(a)cs.unipr.it 2002-02-28 08:29:59 Modified files: htdocs/Links : Links.raw Log message: An initial set of links relevant to this project. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/Links/Links.raw.di…

1 0

w3purrs/htdocs Makefile Documentation/Document ...
by Roberto Bagnara 28 Feb '02

28 Feb '02

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: roberto(a)cs.unipr.it 2002-02-28 08:05:54 Modified files: htdocs : Makefile htdocs/Documentation: Documentation.raw Makefile Log message: Parts that were failing because of missing things have been commented out. 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/Documentation/Docu… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/Documentation/Make…

1 0