October 2002 - PURRS-devel - BUGSENG Mailman

purrs/src Expr_List.defs.hh
by Roberto Bagnara 10 Oct '02

10 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-10-10 19:02:52 Modified files: src : Expr_List.defs.hh Log message: Comment fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr_List.defs.hh.diff?…

1 0

purrs/tests eqs_driver.cc
by Roberto Bagnara 10 Oct '02

10 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-10-10 18:42:48 Modified files: tests : eqs_driver.cc Log message: Define NOISY only if not yet defined. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/eqs_driver.cc.diff?cv…

1 0

purrs/tests Makefile.am simplify_driver.cc
by Roberto Bagnara 10 Oct '02

10 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-10-10 18:42:21 Modified files: tests : Makefile.am Added files: tests : simplify_driver.cc Log message: Driver to test the simplifier. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/simplify_driver.cc?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/Makefile.am.diff?cvsr…

1 0

purrs/src Expr_List.defs.hh Expr_List.inlines.hh
by Roberto Bagnara 10 Oct '02

10 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-10-10 18:41:45 Modified files: src : Expr_List.defs.hh Expr_List.inlines.hh Log message: Added a constructor for Expr_List taking 6 objects of class Expr. Unneeded explicit qualifications removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr_List.defs.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr_List.inlines.hh.di…

1 0

purrs/src gosper.cc sum_poly.cc util.cc
by Tatiana Zolo 10 Oct '02

10 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-10-10 18:33:27 Modified files: src : gosper.cc sum_poly.cc util.cc Log message: `degree()' returns an `int' and not an `unsigned'. 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/sum_poly.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.cc.diff?cvsroot=pu…

1 0

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

10 Oct '02

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

1 0

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

10 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2002-10-10 15:33:55 Modified files: src : rr_solver.cc Log message: Fixed a bug about operator bit to bit. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

purrs TODO.tex
by Alessandro Zaccagnini 10 Oct '02

10 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: zaccagnini(a)cs.unipr.it 2002-10-10 12:41:46 Modified files: . : TODO.tex Log message: Added comment on failed simplification. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/TODO.tex.diff?cvsroot=purrs…

1 0

[Fwd: Re: Now seriously: what is a polynomial?]
by Roberto Bagnara 09 Oct '02

09 Oct '02

-------- Original Message -------- Subject: Re: Now seriously: what is a polynomial? Date: Wed, 9 Oct 2002 19:17:28 +0200 From: Christian Bauer <cbauer(a)zino.physik.uni-mainz.de> Reply-To: ginac-list(a)zino.physik.uni-mainz.de To: ginac-list(a)zino.physik.uni-mainz.de References: <3DA4424F.3020805(a)cs.unipr.it> Hi! On Wed, Oct 09, 2002 at 04:50:55PM +0200, Roberto Bagnara wrote: > As a general remark, several concepts are defined only through examples > whereas formal definitions would help greatly. Agreed. > 2) The method `info(info_flags::polynomial)' should constitute, > we used to believe, the very formal specification of the > notion of "being a polynomial". Yes, that's what info_flags::polynomial was intended for. > 3) The message by Christian Bauer (March 7th, 2002, > see http://www.ginac.de/lists/ginac-list/msg00232.html): > [...] > degree(sin(y)^3-sin(y),sin(y)) > which is guaranteed to return 3." > > The problem is that, while 1 is inconclusive, 2 and 3 (with the > correction replacing "integer" by "nonnegative integer") conflict > with each other. 3) wasn't intended to define "polynomial". degree() works on a class of expressions that is a superset of the class of polynomials. > e = sqrt(2)*x > e.info(info_flags::polynomial) == false That's a case where the GiNaC definition of a polynomial clashes with the "intuitive" one. info() should probably return 'true' here, because sqrt(2) is clearly a number. But so is zeta(3), and I'm not sure how to handle this in a way that is general enough. > The point here is to decide _exactly_ for which class of expressions > are the functions degree(), ldegree(), coeff(), lcoeff(), tcoeff(), > expand(), collect(), quo(), rem(), prem(), gcd(), lcm(), sqrfree() > and so forth guaranteed to work. An exact specification of the maximal classes of expressions that these functions can operate on and the exact results they produce would require more work than I'm willing to invest (that's partly because GiNaC was designed for a bunch of physicists to "get some work done", not as a collection of rigorously defined functions). I'd be more comfortable if you could propose a set of specifications for these functions (for the cases you need), where I can say "Yes, this will work in all future versions of GiNaC", even if these are not the 'maximal' specifications. Bye, Christian -- / Coding on PowerPC and proud of it \/ http://www.uni-mainz.de/~bauec002/ -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

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

09 Oct '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-10-09 18:47:46 Modified files: src : Recurrence.inlines.hh Log message: Recurrence::Recurrence(const Expr&) implemented. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Recurrence.inlines.hh.d…

1 0