From kreckel at ThEP.Physik.Uni-Mainz.DE Sat Feb 5 18:53:33 2000 From: kreckel at ThEP.Physik.Uni-Mainz.DE (Richard B. Kreckel) Date: Sat, 5 Feb 2000 18:53:33 +0100 (CET) Subject: "Cannot resolve method ex::dbgprint to any overloaded instance" on gdb 4.18 Message-ID: Hi, Upon multiple request I had a quick look at the subject-mentioned problem that rendered the not-so-useless method dgbprint [1] unavailable. There is nothing to overload here (its argument being void anyhow) so this was kind of obscure. There seems to be a bug introduced in gdb 4.18 and it may already be fixed in the current CVS tree, since Daniel Berlin claims he fixed it a couple of days ago (on the gdb mailing list): > 2. gdb is screwing up the function ranking. Right in the comments it > says that nargs includes the this pointer in it's count, and nparams > doesn't, but it doesn't take this into account. So i made it take it > into account, and all of the sudden, it could resolve overloads > properly in most cases. > I can succesfully do a print AnSTLVector.begin() and AnSTLVector[0], > and if AnSTLVector was a vector of strings, I could do * > (AnSTLVector.begin()).length(), and get the right answer. In the meantime, you may simply tell your debugger to (gdb) set overload-resolution off and you can again build any ex foo and call foo.dbgprint() to display the contents. Those using DDD 3.2 may also set this in Edit->Preferences and save options. HTH -rbk. [1] The method dbgprint(void) is a small wrapper around print(ostream &, unsigned) used for debugging, where cout may not be present. -- Richard Kreckel From kreckel at ThEP.Physik.Uni-Mainz.DE Tue Feb 8 15:07:36 2000 From: kreckel at ThEP.Physik.Uni-Mainz.DE (Richard B. Kreckel) Date: Tue, 8 Feb 2000 15:07:36 +0100 (CET) Subject: Version 0.5.0 uploaded Message-ID: It's on . Many things are fixed now and some sophisticated bugs were substantially improved. As always, the most mind-boggling new features are listed under . Fun and happiness -rbk. PS: Apologies if you got this mail twice. Please do recycle the electrons. -- Richard Kreckel From cbauer at ThEP.Physik.Uni-Mainz.DE Thu Feb 10 19:59:35 2000 From: cbauer at ThEP.Physik.Uni-Mainz.DE (Christian Bauer) Date: Thu, 10 Feb 2000 19:59:35 +0100 (CET) Subject: normal(), numer(), denom() Message-ID: Hi! normal(), numer(), and denom() should work better now. normal() internally maintains a split representation {numerator, denominator} of the normalized expressions and will not divide them until the very end. Bye, Christian -- / Coding on PowerPC and proud of it \/ http://www.uni-mainz.de/~bauec002/ From kreckel at ThEP.Physik.Uni-Mainz.DE Mon Feb 21 15:41:01 2000 From: kreckel at ThEP.Physik.Uni-Mainz.DE (Richard B. Kreckel) Date: Mon, 21 Feb 2000 15:41:01 +0100 (CET) Subject: Today's bugs Message-ID: Consider this: higgsino:~/projects/GiNaC/ginsh$ ./ginsh ginsh - GiNaC Interactive Shell (GiNaC V0.5.2) __, _______ Copyright (C) 1999-2000 Johannes Gutenberg University Mainz, (__) * | Germany. This is free software with ABSOLUTELY NO WARRANTY. ._) i N a C | You are welcome to redistribute it under certain conditions; <-------------' see the file COPYING for details. Type ?? for a list of help topics. > series(gamma(x),x,0,2); collect(series(gamma(x),x,0,2),x); -EulerGamma+x*(1/12*Pi^2+1/2*EulerGamma^2)+x^(-1)+Order(x^2) -EulerGamma+x*(1/12*Pi^2+1/2*EulerGamma^2)+x^2*Order(1)+x^(-1) The other bug is with the fraction free elimination in ginac/matrix.cpp: If I try to solve the system [[ [[0,2-a]], [[5-4*a,3+2*a]] ]] * [[ [[x]], [[y]] ]] == [[ [[-2+5*a]], [[-5-2*a]] ]] I run into trouble within assert-blocks. I will have a look at the second problem. -rbk. -- Richard Kreckel From cbauer at ThEP.Physik.Uni-Mainz.DE Mon Feb 21 18:04:54 2000 From: cbauer at ThEP.Physik.Uni-Mainz.DE (Christian Bauer) Date: Mon, 21 Feb 2000 18:04:54 +0100 (CET) Subject: Today's bugs In-Reply-To: Message-ID: Hi! On Mon, 21 Feb 2000, Richard B. Kreckel wrote: > > series(gamma(x),x,0,2); collect(series(gamma(x),x,0,2),x); > -EulerGamma+x*(1/12*Pi^2+1/2*EulerGamma^2)+x^(-1)+Order(x^2) > -EulerGamma+x*(1/12*Pi^2+1/2*EulerGamma^2)+x^2*Order(1)+x^(-1) Fixed. Bye, Christian -- / Coding on PowerPC and proud of it \/ http://www.uni-mainz.de/~bauec002/ From Alexander.Frink at Uni-Mainz.DE Mon Feb 21 20:06:03 2000 From: Alexander.Frink at Uni-Mainz.DE (Alexander Frink) Date: Mon, 21 Feb 2000 20:06:03 +0100 (CET) Subject: Today's bugs In-Reply-To: Message-ID: On Mon, 21 Feb 2000, Richard B. Kreckel wrote: > The other bug is with the fraction free elimination in ginac/matrix.cpp: > If I try to solve the system > [[ [[0,2-a]], [[5-4*a,3+2*a]] ]] * [[ [[x]], [[y]] ]] > == [[ [[-2+5*a]], [[-5-2*a]] ]] Looks like the reason is a problem in normal(): symbol a("a"); ex z=((-5-2*a)-((2-5*a)/(-2+a))*(3+2*a))/(5-4*a); cout << "z=" << z << endl; cout << "normal(z)=" << normal(z) << endl; z=(5-4*a)^(-1)*(-5-2*a-(3+2*a)*(2-5*a)*(-2+a)^(-1)) normal(z)=-(5-4*a)^(-1)*(-22+2*a*(-2+a)-10*a^2)*(-2+a)^(-1) -- Alexander Frink E-Mail: Alexander.Frink at Uni-Mainz.DE Institut fuer Physik Phone: +49-6131-3923391 Johannes-Gutenberg-Universitaet D-55099 Mainz, Germany From cbauer at ThEP.Physik.Uni-Mainz.DE Mon Feb 21 21:00:00 2000 From: cbauer at ThEP.Physik.Uni-Mainz.DE (Christian Bauer) Date: Mon, 21 Feb 2000 21:00:00 +0100 (CET) Subject: Today's bugs In-Reply-To: Message-ID: Hi! On Mon, 21 Feb 2000, Alexander Frink wrote: > z=(5-4*a)^(-1)*(-5-2*a-(3+2*a)*(2-5*a)*(-2+a)^(-1)) > normal(z)=-(5-4*a)^(-1)*(-22+2*a*(-2+a)-10*a^2)*(-2+a)^(-1) Fixed. Bye, Christian -- / Coding on PowerPC and proud of it \/ http://www.uni-mainz.de/~bauec002/ From notz at purdue.edu Mon Feb 21 23:40:06 2000 From: notz at purdue.edu (Patrick K Notz) Date: Mon, 21 Feb 2000 17:40:06 -0500 (EST) Subject: Build problems Message-ID: <200002212240.RAA19042@atom.ecn.purdue.edu> Hi, I'me trying to build ginac and am having problems getting 'configure' to find the readline and cln libraries. I've installed them in directories (non-standard since I'm not root) under my account. I just can't figure out how to tell configure/make to look there. I've tried the suggestion in Section 3.2 of the tutorial but the syntax given doesn't work. I've tried adding "LDFLAGS = $(LDFLAGS) /my/lib/dir" to all of the Makefile.in files but no luck again. I'm not familiar with autoconf so I'm not sure which files I should try tweeking. Can you offer any suggestions? Thanks ~ pat From kreckel at ThEP.Physik.Uni-Mainz.DE Tue Feb 22 13:07:51 2000 From: kreckel at ThEP.Physik.Uni-Mainz.DE (Richard B. Kreckel) Date: Tue, 22 Feb 2000 13:07:51 +0100 (CET) Subject: Build problems In-Reply-To: <200002212240.RAA19042@atom.ecn.purdue.edu> Message-ID: On Mon, 21 Feb 2000, Patrick K Notz wrote: > I'me trying to build ginac and am having problems getting 'configure' > to find the readline and cln libraries. I've installed them in > directories (non-standard since I'm not root) under my account. I > just can't figure out how to tell configure/make to look there. I've > tried the suggestion in Section 3.2 of the tutorial but the syntax given > doesn't work. I've tried adding "LDFLAGS = $(LDFLAGS) /my/lib/dir" to > all of the Makefile.in files but no luck again. I'm not familiar with > autoconf so I'm not sure which files I should try tweeking. Can you > offer any suggestions? You shoudn't have to tweek Makefiles or Makefile.ins. Just saying $ make LDFLAGS="$(LDFLAGS) -L/my/lib/dir" (and so on) gets the job done. Also, your syntax, at least as you wrote it, is screwed up---no -L. Note that on the shell (as arguments to make) there mustn't be spaces on both sides of the = , it won't be recognized this way! Please consult section 3.2 again, it is correct there. Maybe the verbose output from $ libtool --finish is helpful: ------------------------------------------------------------------------------ Libraries have been installed in: /usr/tmp/lib/ To link against installed libraries in a given directory, LIBDIR, you must use the `-LLIBDIR' flag during linking. You will also need to do one of the following: - add LIBDIR to the `LD_LIBRARY_PATH' environment variable during execution - add LIBDIR to the `LD_RUN_PATH' environment variable during linking - use the `-Wl,--rpath -Wl,LIBDIR' linker flag - have your system administrator add LIBDIR to `/etc/ld.so.conf' See any operating system documentation about shared libraries for more information, such as the ld(1) and ld.so(8) manual pages. ------------------------------------------------------------------------------ Keep on tryin' -rbk. -- Richard Kreckel From kreckel at ThEP.Physik.Uni-Mainz.DE Thu Feb 24 13:26:45 2000 From: kreckel at ThEP.Physik.Uni-Mainz.DE (Richard B. Kreckel) Date: Thu, 24 Feb 2000 13:26:45 +0100 (CET) Subject: Version 0.5.3 on the wire Message-ID: i.e. on . There has been a bug in the last version where .normal() was returning wrong results for certain rational functions like 1/(5-4*a)*(-5-2*a-(3+2*a)*(2-5*a)/(-2+a)) which is now fixed. Also, this version features an improved and more flexible scheme for registering functions which makes extensions easier and also allows writing remembering functions in a clean way. See . GiNaC-cint is making slow progress---we have it running with the current cint 5.14.31 now. Sex and drugs and Unix -rbk. -- Richard Kreckel