November 2008 - GiNaC-devel

Going 1.5?
by Jens Vollinga 01 Dec '08

01 Dec '08

Hi, I'd like to start a discussion about making a major release (1.5). From my side, I'd like to finish the factorization first before doing such a release. But I think this only amounts to putting lots of comments in the sources and adding a section to the tutorial. That will be done relatively soon. So, in principle I could aim for a release next week. What do the other developers think about a major release? What time would be welcome? Maybe there are some pending new features or just items on a private todo list that should be finished first? Regards, Jens

2 3

Bug in sqrfree
by Jens Vollinga 01 Dec '08

01 Dec '08

Hi, there seems to be a bug in the sqrfree function in GiNaC. The attached program when run will sooner or later stall (stuck in an infinite loop inside sqrfree()). I am not too familiar with the new code there, so I'd first like to ask the other devs whether they have any idea about it? Regards, Jens

2 3

[SCM] GiNaC -- a C++ library for symbolic computations branch, master, updated. release_1-4-0-163-g6ddfb1a
by git＠ginac.de 14 Nov '08

14 Nov '08

This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "GiNaC -- a C++ library for symbolic computations". The branch, master has been updated via 6ddfb1a594386a48ab627ef7237e897535235593 (commit) via dcce72e85f936117b39774a839ec1d76add66aec (commit) from 2b0ad5c381dc081cc4066b0c5f939f5169ad9ab3 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit 6ddfb1a594386a48ab627ef7237e897535235593 Author: Jens Vollinga <jensv(a)balin.nikhef.nl> Date: Fri Nov 14 12:00:52 2008 +0100 Added section about factor(). Made appropriate changes at other places. commit dcce72e85f936117b39774a839ec1d76add66aec Author: Jens Vollinga <jensv(a)balin.nikhef.nl> Date: Thu Nov 13 16:36:02 2008 +0100 Added many comments. ----------------------------------------------------------------------- Summary of changes: doc/tutorial/ginac.texi | 61 ++++++- ginac/factor.cpp | 407 +++++++++++++++++++++++++++++++++++++++-------- ginac/factor.h | 15 ++- ginac/flags.h | 3 +- 4 files changed, 410 insertions(+), 76 deletions(-) hooks/post-receive -- GiNaC -- a C++ library for symbolic computations

1 0

[SCM] GiNaC -- a C++ library for symbolic computations branch, master, updated. release_1-4-0-161-g2b0ad5c
by git＠ginac.de 13 Nov '08

13 Nov '08

This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "GiNaC -- a C++ library for symbolic computations". The branch, master has been updated via 2b0ad5c381dc081cc4066b0c5f939f5169ad9ab3 (commit) via a17a77e5c3d4ec2a92804debac65c75921f0156d (commit) via edc92b7a463993da62357fb4afad053e8c6d0771 (commit) from 22bf8270163ec9ec11f37c79957e18d6e6e163cd (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit 2b0ad5c381dc081cc4066b0c5f939f5169ad9ab3 Author: Jens Vollinga <jensv(a)balin.nikhef.nl> Date: Thu Nov 13 11:13:05 2008 +0100 Fixed lots of bugs in factor_multivariate(). factor_univariate() takes now the content of the polynomial into accout when choosing a prime. It also returns the chosen prime. This supports the factor_multivariate() code. Polynomials are expanded before calling factor_sqrfree(). This avoids problems with some input polynomials. Added static qualifiers to all hidden functions. commit a17a77e5c3d4ec2a92804debac65c75921f0156d Author: Jens Vollinga <jensv(a)balin.nikhef.nl> Date: Tue Nov 11 10:33:29 2008 +0100 Fixed a bug in squarefree(). Some polynomials were erroneously classified as square free (e.g. x^prime+1). Fixed a bug in multivar_diophant() causing sporadically an infinite loop. Improved lifting bound code. Univariate lifting can now use a cache for the modular factors. At the moment, this gives no measurable speed gain. commit edc92b7a463993da62357fb4afad053e8c6d0771 Author: Jens Vollinga <jensv(a)balin.nikhef.nl> Date: Mon Nov 10 13:38:11 2008 +0100 Added modular square free factorization. Completed distinct degree factorization. Univariate polynomial factorization uses now upoly. Merged class Partition and function split into class factor_partition. ----------------------------------------------------------------------- Summary of changes: ginac/factor.cpp | 1029 +++++++++++++++++++++++++++--------------------------- 1 files changed, 511 insertions(+), 518 deletions(-) hooks/post-receive -- GiNaC -- a C++ library for symbolic computations

1 0

GiNaC release 1.4.4
by Jens Vollinga 07 Nov '08

07 Nov '08

Hello everybody, GiNaC 1.4.4 is out and available. The changes are: * Fixed a bug in the multiple polylogarithms Li/G that caused imaginary parts of the arguments to be ignored. * Fixed archiving of complex numbers. * Made the behaviour of class function more consistent with respect to ncmul::eval(). * Fixed a bug in power::is_polynomial. * Improved heur_gcd() so it can handle rational polynomials. * Improved build scripts. As always, this release can be downloaded from http://www.ginac.de/Download.html Best wishes, Jens

1 0

[SCM] GiNaC -- a C++ library for symbolic computations tag, release_1-4-4, created. release_1-4-0-78-g4bae6ab
by git＠ginac.de 07 Nov '08

07 Nov '08

This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "GiNaC -- a C++ library for symbolic computations". The tag, release_1-4-4 has been created at 4bae6ab3b02a11c60c252c78bb76bf9c81ea5d6b (commit) - Log ----------------------------------------------------------------- commit 4bae6ab3b02a11c60c252c78bb76bf9c81ea5d6b Author: Alexei Sheplyakov <varg(a)theor.jinr.ru> Date: Mon Sep 8 11:50:12 2008 +0400 don't mention CVS any more, describe how to install from git. ----------------------------------------------------------------------- hooks/post-receive -- GiNaC -- a C++ library for symbolic computations

1 0

[SCM] GiNaC -- a C++ library for symbolic computations branch, ginac_1-4, updated. release_1-4-0-78-g4bae6ab
by git＠ginac.de 07 Nov '08

07 Nov '08

This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "GiNaC -- a C++ library for symbolic computations". The branch, ginac_1-4 has been updated via 4bae6ab3b02a11c60c252c78bb76bf9c81ea5d6b (commit) from cea9b25f1a6c62cd2ce899cede47001b95cce227 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit 4bae6ab3b02a11c60c252c78bb76bf9c81ea5d6b Author: Alexei Sheplyakov <varg(a)theor.jinr.ru> Date: Mon Sep 8 11:50:12 2008 +0400 don't mention CVS any more, describe how to install from git. ----------------------------------------------------------------------- Summary of changes: ChangeLog | 9 +++++---- INSTALL | 11 ++++------- doc/tutorial/ginac.texi | 2 +- 3 files changed, 10 insertions(+), 12 deletions(-) hooks/post-receive -- GiNaC -- a C++ library for symbolic computations

1 0

Re: [GiNaC-devel] [GiNaC] patches and questions
by Jens Vollinga 07 Nov '08

07 Nov '08

Hi, Paul Irofti schrieb: > I maintain the ginac port for OpenBSD and I'm trying to update it to the > latest version (ginac-1.4.3). In doing that I encountered a few problems that > I fixed. Maybe we can get them commited upstream too? I've attached the patches > to this email. thanks for the patches! I applied most of them into our repository. A release 1.4.4 might soon follow in the next days. :-) > The chec_matrices.cpp patch is for a regression test that goes through > an infinite loop when attempting to do inverse_matrix() and the determinant > never becomes 0. So I had to comment that out until we can fix it. Maybe you > have a solution for this. I don't know about this one. The check doesn't fail here (and never did before AFAIR). Maybe this happens only on OpenBSD? Sounds strange. I use cln 1.2.2 and gcc 4.3.1. Maybe the bug is related to these tools? > The configure patch is for detecting and enabling ::compile stuff, it > might be OpenBSD specific, but it would be cool if you could make a separate > case for that upstream. I also don't know how to treat this one. Your patch applies to "configure". But in the source "configure.ac" LIBS is not explicitly extended by "-ldl", only DL_LIBS. So, this seems like we cannot repair it. Maybe autoconf mixes it up? > The ginac-examples texi was missing a directory entry for info, you > should add that upstream. > And the Makefile.in patch removes the release target in order to > generate proper .so with proper versioning. I applied these both. Thanks! Regards, Jens

2 7

[SCM] GiNaC -- a C++ library for symbolic computations branch, ginac_1-4, updated. release_1-4-0-77-gcea9b25
by git＠ginac.de 07 Nov '08

07 Nov '08

This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "GiNaC -- a C++ library for symbolic computations". The branch, ginac_1-4 has been updated via cea9b25f1a6c62cd2ce899cede47001b95cce227 (commit) from 8b424e3917400537d6498fa67fac84ca4cbdefeb (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit cea9b25f1a6c62cd2ce899cede47001b95cce227 Author: Jens Vollinga <jensv(a)balin.nikhef.nl> Date: Fri Nov 7 15:11:44 2008 +0100 Added m4 to EXTRA_DIST to please 'make distcheck'. ----------------------------------------------------------------------- Summary of changes: Makefile.am | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) hooks/post-receive -- GiNaC -- a C++ library for symbolic computations

1 0

[SCM] GiNaC -- a C++ library for symbolic computations branch, ginac_1-4, updated. release_1-4-0-76-g8b424e3
by git＠ginac.de 07 Nov '08

07 Nov '08

This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "GiNaC -- a C++ library for symbolic computations". The branch, ginac_1-4 has been updated via 8b424e3917400537d6498fa67fac84ca4cbdefeb (commit) via 398f4eb2273a8a6adfe54361aa98cce12fe70174 (commit) via ff083aed45d1b4d488c5a90cb47dd6cdefffbcc8 (commit) via 7dffaa9012f5e7b46b2d924b9f5b13b23980ad0b (commit) via 0f40a2f0acbaed3b6ecfa39855b20d96a3dcfd1b (commit) via 91a4a13ae371b6a46002d9538da743e496b0c70e (commit) via 930f53346a4ab1eb2789e232dd18e4a8f5a91357 (commit) via c0156786dc88bcb184854430912f979d9cb6666a (commit) via ad058c1a47bbbd62e0a3efc64047464098fca1e4 (commit) via 2df960dceaa7532eb6da16c5ce23d42f43e1cf5a (commit) via 208454aa4bd38d88d8bb324d634300466382335a (commit) via 8f7fd49ceb1edd962897ce55a79fdc87feaf1196 (commit) via b07d01d93adea20c4289c295a4b25141bc98c076 (commit) via 1db85d25f22b32126cb830de1027bc38ae3947e9 (commit) from 1da9a7f009749842457f3679c921f198402384b2 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit 8b424e3917400537d6498fa67fac84ca4cbdefeb Author: Jens Vollinga <jensv(a)balin.nikhef.nl> Date: Fri Nov 7 14:51:45 2008 +0100 Preparing for release 1.4.4. commit 398f4eb2273a8a6adfe54361aa98cce12fe70174 Author: Alexei Sheplyakov <varg(a)theor.jinr.ru> Date: Thu Nov 6 17:51:28 2008 +0300 Fix is_polynomial() so it works as advertised in the manual. GiNaC manual says: "Testing whether an expression is a polynomial in one or more variables can be done with the method bool ex::is_polynomial(const ex & vars) const; In the case of more than one variable, the variables are given as a list. (x*y*sin(y)).is_polynomial(x) // Returns true. (x*y*sin(y)).is_polynomial(lst(x,y)) // Returns false." However, the implementation is a bit inconsistent, as GiNaC reports sin(x) + 2*s is a polynomial in s, but pow(2,x) + 2*s is not a polynomial in s. This patch fixes the inconsistency. Thanks to Jonathan Cross for reporting this bug. commit ff083aed45d1b4d488c5a90cb47dd6cdefffbcc8 Author: Alexei Sheplyakov <varg(a)theor.jinr.ru> Date: Wed Nov 5 20:47:18 2008 +0300 [build] Simplify generation of ginac/version.h commit 7dffaa9012f5e7b46b2d924b9f5b13b23980ad0b Author: Alexei Sheplyakov <varg(a)theor.jinr.ru> Date: Mon Nov 3 17:34:29 2008 +0300 [build] Set correct rpath for linking with CLN... ... so users won't get 'error while loading shared libraries: no such file or directory'. Also embed rpath into pkg-config meta data, so g++ `pkg-config --cflags --libs ginac` foo.cc actually works without any additional effort from the user side. commit 0f40a2f0acbaed3b6ecfa39855b20d96a3dcfd1b Author: Alexei Sheplyakov <varg(a)theor.jinr.ru> Date: Mon Nov 3 19:17:16 2008 +0300 [portability] GiNaC::compile_ex works on OpenBSD now. * acinclude.m4: check for dlopen() in libdl and in libc itself. Thanks to Paul Irofti for a bug report and a suggestion. commit 91a4a13ae371b6a46002d9538da743e496b0c70e Author: Alexei Sheplyakov <varg(a)theor.jinr.ru> Date: Tue Sep 9 14:44:25 2008 +0400 build: shut up automake warnings, don't use GNU make extensions. Not that I really care about non-GNU makes, but those warnings are a bit annoying and can hide useful ones. commit 930f53346a4ab1eb2789e232dd18e4a8f5a91357 Author: Alexei Sheplyakov <varg(a)theor.jinr.ru> Date: Mon Sep 8 11:53:30 2008 +0400 build: put (almost) all auto* tools scripts into the config directory. So I can just rm -rf it to clean up the repository. commit c0156786dc88bcb184854430912f979d9cb6666a Author: Alexei Sheplyakov <varg(a)theor.jinr.ru> Date: Mon Sep 8 11:09:20 2008 +0400 Allow user to disable GiNaC::compile_ex (e.g. for security reasons). configure takes --{disable,enable}-excompiler argument now. It can be used to disable GiNaC::compile_ex (default is to enable it). acinclude.m4: GINAC_EXCOMPILER: new macro. Checks for libdl, allows user to disable GiNaC::compile_ex. Also it doesn't bother to check for libdl on MinGW. configure.ac: use GINAC_EXCOMPILER to check for libdl. commit ad058c1a47bbbd62e0a3efc64047464098fca1e4 Author: Alexei Sheplyakov <varg(a)theor.jinr.ru> Date: Sun Sep 7 22:53:07 2008 +0400 configure: run important checks first (and bail out if something is missing). Don't bother to check for optional stuff if CLN and/or standard C++ headers are missing. commit 2df960dceaa7532eb6da16c5ce23d42f43e1cf5a Author: Alexei Sheplyakov <varg(a)theor.jinr.ru> Date: Sun Sep 7 22:47:01 2008 +0400 configure: don't bother to run checks which can be done at the compile time. Don't check for sizeof of various types, this can be done at the compile time. GCC optimizes away these checks, so the actual code is the same. commit 208454aa4bd38d88d8bb324d634300466382335a Author: Alexei Sheplyakov <varg(a)theor.jinr.ru> Date: Sun Sep 7 22:17:55 2008 +0400 utils.h: use <stdint.h> (if available) instead of reinventing it. The argument of golden_ratio_hash() is as an integer of the same size as a void* pointer. Unfortunately ISO C++ 98 does not provide suitable typedef. Hence * use <stdint.h> if available and define p_int to uintptr_t. Note: AC_PROG_CC already checks for this header, so no extra checks are necessary. * as a fallback define p_int to be unsigned long, this works on most systems I know of (the only exception is woe64). While at it, stop including "config.h" unconditionally. commit 8f7fd49ceb1edd962897ce55a79fdc87feaf1196 Author: Alexei Sheplyakov <varg(a)theor.jinr.ru> Date: Sat Sep 6 09:21:18 2008 +0400 configure: don't check for sizeof(long double), we don't use it. commit b07d01d93adea20c4289c295a4b25141bc98c076 Author: Alexei Sheplyakov <varg(a)theor.jinr.ru> Date: Sat Sep 6 08:51:19 2008 +0400 build: faster check for standard C++ headers. Include them all into a test program and check if it compiles (in order to reduce the run time of the `configure' script). commit 1db85d25f22b32126cb830de1027bc38ae3947e9 Author: Alexei Sheplyakov <varg(a)theor.jinr.ru> Date: Mon Jun 9 16:21:30 2008 +0400 build: don't run any ${host} binaries while checking for readline. Now GiNaC (to be more precise, ginsh) can be easily cross compiled. However, ancient versions of readline (<= 4.2) are not supported any more. ----------------------------------------------------------------------- Summary of changes: Makefile.am | 2 + NEWS | 4 +- acinclude.m4 | 152 ++++++++--- check/Makefile.am | 6 +- check/check_is_polynomial.cpp | 30 ++ config/config.rpath | 614 +++++++++++++++++++++++++++++++++++++++ configure.ac | 94 ++---- debian/changelog | 12 + debian/rules | 1 + doc/examples/Makefile.am | 4 +- doc/tutorial/Makefile.am | 6 +- ginac.pc.in | 2 +- ginac/power.cpp | 2 + ginac/utils.h | 23 +- ginac/version.h.in | 12 +- ginsh/ginsh_parser.yy | 45 +-- m4/lib-ld.m4 | 110 +++++++ m4/lib-link.m4 | 644 +++++++++++++++++++++++++++++++++++++++++ m4/lib-prefix.m4 | 185 ++++++++++++ 19 files changed, 1798 insertions(+), 150 deletions(-) create mode 100644 check/check_is_polynomial.cpp create mode 100755 config/config.rpath create mode 100644 m4/lib-ld.m4 create mode 100644 m4/lib-link.m4 create mode 100644 m4/lib-prefix.m4 hooks/post-receive -- GiNaC -- a C++ library for symbolic computations

1 0