- GiNaC-list - ginac.de

[SCM] GiNaC -- a C++ library for symbolic computations branch, master, updated. release_1-4-0-24-g3c32758
by varg＠theor.jinr.ru 28 Dec '07

28 Dec '07

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 3c3275884e65193743d4b2bcd98637949791aef8 (commit) via 37678db7297076f166969b92d5d96f1d46b7fdee (commit) from eb207d1c42ae5aed9ed6d9695a4ff44f62d72540 (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 3c3275884e65193743d4b2bcd98637949791aef8 Author: Alexei Sheplyakov <varg(a)theor.jinr.ru> Date: Fri Dec 28 17:51:16 2007 +0300 kill spurious comma in flags.h commit 37678db7297076f166969b92d5d96f1d46b7fdee Author: Alexei Sheplyakov <varg(a)theor.jinr.ru> Date: Sat Dec 15 00:07:04 2007 +0300 check/*_memleak.cpp: fix botched CVS commit[s]. ----------------------------------------------------------------------- Summary of changes: check/mul_eval_memleak.cpp | 14 +++++++------- check/parser_memleak.cpp | 2 +- ginac/flags.h | 2 +- 3 files changed, 9 insertions(+), 9 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-30-g3fdbaa2
by varg＠theor.jinr.ru 28 Dec '07

28 Dec '07

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 3fdbaa235a47f051c10fe7f5bb559207f4f566bf (commit) via d7e5713c7cba7bbe88d07bd19bdb6f04116a0c05 (commit) from 11aa51fcd42465d86a996a468768bb0d2c2c57f2 (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 3fdbaa235a47f051c10fe7f5bb559207f4f566bf Author: Alexei Sheplyakov <varg(a)theor.jinr.ru> Date: Fri Dec 28 17:51:16 2007 +0300 kill spurious comma in flags.h commit d7e5713c7cba7bbe88d07bd19bdb6f04116a0c05 Author: Alexei Sheplyakov <varg(a)theor.jinr.ru> Date: Sat Dec 15 00:07:04 2007 +0300 check/*_memleak.cpp: fix botched CVS commit[s]. ----------------------------------------------------------------------- Summary of changes: check/mul_eval_memleak.cpp | 14 +++++++------- check/parser_memleak.cpp | 2 +- ginac/flags.h | 2 +- 3 files changed, 9 insertions(+), 9 deletions(-) hooks/post-receive -- GiNaC -- a C++ library for symbolic computations

1 0

spurious "," in flags.hpp
by Bernd Speiser 28 Dec '07

28 Dec '07

Hi all, we have recently installed GiNaC 1.4.0 on an openSuSE 10.3 system with gcc 4.2.1. The installation procedure was ok, but when using GiNaC we encountered a spurious comma "," in file flags.h on line 41. Maybe this has been corrected in the meantime, but I couldn't find any information. Regards Bernd -- ======================================================================= Bernd Speiser Institut für Organische Chemie Auf der Morgenstelle 18 temporary address: Auf der Morgenstelle 15 D-72076 Tübingen Germany phone: +49-7071-2976205 (office) +49-7071-2976242 (laboratory) +49-7071-2972098 (secretary) fax: +49-7071-295518 e-mail: bernd.speiser(a)uni-tuebingen.de Internet: http://www.uni-tuebingen.de/speiser =======================================================================

2 1

Re: Airy functions
by Jan Bos 24 Dec '07

24 Dec '07

Dear Alexei, Thank you for your interest and careful examination of the code. I made an effort to fit the functions in the GiNaC framework and got series expansions etc. more or less for free. I'm looking forward to seeing the result when it meets the GiNaC standards. To answer your questions a fundamental property of the algorithm is needed: Depending on the argument a so called "steepest descent" contour is determined along which the integrand is monotonically decreasing. This ensures that a) roundoff does not occur, b) the range over which the integrand has to be evaluated to obtain a certain accuracy is minimized and c) the dominant factor (possibly very larger or small) can be placed outside the integral. Furthermore all derivatives at +/- infinity are zero. For functions with this property the trapezoidal rule has exponential convergence, that is, halving the stepsize more than doubles the number of significant digits of the result. For an integrator with non-constant step size this property would be lost. > AiryContour* pcntr=createAiryContour(zn); > > Pointers are evil. What is the reason for explicit allocation/deallocation? > Again depending on the argument (zn) but more involved, 3 different types of contours are needed of which one is the truly steepest descent contour and the other 2 are approximations thereof. AiryContour is the base class of them. I hope this answers your questions Best regards, Jan

2 1

A differential geometry-specific extension
by Diego Conti 21 Dec '07

21 Dec '07

Hi, I have been working on an extension to GiNaC for differential geometry, and I have released a first version, available from <https://sourceforge.net/projects/libwedge/>. Current features include: - Vector spaces: determine a basis from a list of generators, and similar computations. - Manifolds and differential forms: exterior derivative; wedge product. - Lie groups: the general linear group; subgroups determined by the choice of a subalgebra; abstract Lie groups defined in abbreviated form, e.g. writing (0,0,12) for the Heisenberg group, characterized by the existence of a basis of left-invariant one-forms e1,e2,e3 such that de3=e1 ^ e2 and e1,e2 are closed. - Riemannian metrics and G-structures, defined on a Lie group or a coordinate patch of a generic manifold, and represented by an orthonormal basis of 1-forms (adapted frame); spinors, Clifford multiplication. - Connections: the Levi-Civita connection; curvature; covariant derivatives; define connections on generic manifolds and impose conditions on the Christoffel symbols, e.g. to obtain curvature conditions. I thought maybe someone in this list would be interested. Diego Conti

2 2

ginac installation
by alexander baker 05 Dec '07

05 Dec '07

Am getting the following error when I try and make GiNac, the configure step has worked ok, please see below. Regards Alex Baker. Configuration of GiNaC done. Now type "make". root@treebeard:/home/bakera/inglethorpe/ginac/GiNaC# make cd . \ && CONFIG_FILES= CONFIG_HEADERS=config.h \ /bin/bash ./config.status config.status: creating config.h config.status: config.h is unchanged make all-recursive make[1]: Entering directory `/home/bakera/inglethorpe/ginac/GiNaC' Making all in ginac make[2]: Entering directory `/home/bakera/inglethorpe/ginac/GiNaC/ginac' @LIBTOOL@ --mode=compile g++ -DHAVE_CONFIG_H -I. -I. -I.. /usr/local/lib -g -O2 -c add.cpp /bin/bash: line 1: @LIBTOOL@: command not found make[2]: *** [add.lo] Error 127 make[2]: Leaving directory `/home/bakera/inglethorpe/ginac/GiNaC/ginac' make[1]: *** [all-recursive] Error 1 make[1]: Leaving directory `/home/bakera/inglethorpe/ginac/GiNaC' make: *** [all-recursive-am] Error 2 -- Mobile: 07788 872118 Blog: www.alexfb.com

2 11

problem running ginac
by alexander baker 04 Dec '07

04 Dec '07

The configure, make and install worked fine, however compiling a simple example below gives the following: #include <iostream> #include <ginac/ginac.h> using namespace std; using namespace GiNaC; int main(){ numeric two = 2; } Running on Ubuntu dual core amd 64 bit. Alex /usr/local/lib/libginac.so: undefined reference to `GiNaC::get_symbol_name(GiNaC::ex const&)' /usr/local/lib/libginac.so: undefined reference to `GiNaC::is_lexer_symbol_predefined(GiNaC::ex const&)' /usr/local/lib/libginac.so: undefined reference to `ginac_yytext' /usr/local/lib/libginac.so: undefined reference to `GiNaC::set_lexer_symbols(GiNaC::ex)' /usr/local/lib/libginac.so: undefined reference to `ginac_yylex()' /usr/local/lib/libginac.so: undefined reference to `GiNaC::set_lexer_string(std::basic_string<char, std::char_traits<char>, std::allocator<char> > const&)' /usr/local/lib/libginac.so: undefined reference to `ginac_yyrestart(_IO_FILE*)' collect2: ld returned 1 exit status -- Mobile: 07788 872118 Blog: www.alexfb.com

1 0

Trouble building example from manual
by Ken Smith 27 Nov '07

27 Nov '07

First my environment. Mac OS 10.5.1 (Darwin 9.1.0) gcc version 4.0.1 (Apple Inc. build 5465) readline-5.1 gnump-4.2.1 cln-1.1.9 GiNaC-1.4.1 I get a coredump when I run the first example from section 2.1 of the GiNaC 1.4.1 Tutorial, revision 5 September 2007. Here is the stack trace. Program received signal EXC_BAD_ACCESS, Could not access memory. Reason: KERN_PROTECTION_FAILURE at address: 0x00000002 0x00000002 in ?? () (gdb) bt #0 0x00000002 in ?? () #1 0x006d6480 in cl_module__cl_prin_globals__firstglobalfun () at output/cl_prin_globals.cc:6 Cannot access memory at address 0x6 I built my program like this: g++ -I/usr/local/include -L/usr/local/lib src/tut.cpp -lginac I also tried adding -lcln -lgmp and -lreadline to the link but the result was the same. This same error happens when I attempt to run ginsh. I was concerned during the build when configure said: === The following minor problems have been detected by configure. === Please check the messages below before running "make". === (see the section 'Common Problems' in the INSTALL file) == Unsupported version of libreadline. == I could not run a test of libreadline (needed for building ginsh). Configuration of GiNaC 1.4.1 done. Now type "make". I ignored this and built anyway since I don't plan to use ginsh, just the library. Perhaps the issues are unrelated. Please help me to get started with building and running the tutorial examples. Ken Smith

2 2

Disabling flattening of sums and products?
by Martin Sandve Alnæs 27 Nov '07

27 Nov '07

Is it possible to disable the automatic flattening of expressions like f = (x+y) + (x+y) into g = 2*y+2*x ? In other words, I want to be able to retain the additions in expression f as binary operators. The reason for this is that I want to examine some expression to detect subtrees that occur multiple times, and this automatic flattening destroys some opportunities for this. Example: a = x*y b = (x*y) * (x*y) Examining a I will see a mul with ops x,y, while examining b I will see a mul with ops power(y,2), power(x,2), requiring some kind of factorization to recognize the similarities. -- Martin

3 3

GiNaC releases 1.3.9 and 1.4.1
by Jens Vollinga 21 Nov '07

21 Nov '07

Hello everybody, GiNaC 1.4.1 is out and available. The changes are: * Fixed memory leak in ginac_yylex(). * Fixed memory leaks in mul::eval() and power::eval(). * Fixed macro checking for version of libreadline (Mac OS X). * Fixed broken preprocessor instruction in excompiler.cpp. * Fixed broken module loading in excompiler.cpp. * info(info_flags::has_indices) now works for sums and products. * Improved mul::expand(). * Improved CLN output. As always, this release can be downloaded from http://www.ginac.de/Download.html We also made a backporting bug-fix release for the GiNaC 1.3.x series, which contains the following changes: * Fixed memory leak in ginac_yylex(). * Fixed memory leaks in mul::eval() and power::eval(). * Fixed macro checking for version of libreadline (Mac OS X). * info(info_flags::has_indices) now works for sums and products. * Improved CLN output. This package can be downloaded from the ftp server: ftp://ftpthep.physik.uni-mainz.de/pub/GiNaC/ Best wishes, Jens

1 0