- GiNaC-list - ginac.de

operations modulo 2
by Kostas Patsakis 04 Jan '06

04 Jan '06

sorry for bothering the list again but I would appreciate some help. I'm trying to do operation(addition,multiplications) with multivariate polynomials. The variables cat take values 0 and 1 and I'm working with about 30 variables k0,k1... So since 0^2=0 and 1^1=1 I make the following substistution(written for ginsh) subs(e,$0^$1==$0). Since 2*x=0 mod 2 I need to do parse all the coeffiients mod 2. The problem is that even if I expand the expressions ginac(or at least my code to be honest) does not appear to expand my expressions halting immediately all my calculations e.g. this list of expressions is an output that was supposed to have been expanded and have been reduced mod 2 temp={1+k4+k5,(1+k5)*(1+k4)+k6,(1+k5)*(1+k6)*(1+k4)+k7,(1+k7)*(1+k5)*(1+k6)*(1+k4)+k8,1+k9+(1+k7)*(1+k8)*(1+k5)*(1+k6)*(1+k4),1+k10+k9*(1+(1+k7)*(1+k8)*(1+k5)*(1+k6)*(1+k4)),k10+k9*(1+(1+k7)*(1+k8)*(1+k5)*(1+k6)*(1+k4))+k9*(1+(1+k7)*(1+k8)*(1+k5)*(1+k6)*(1+k4))*k10,1+k9*(1+(1+k7)*(1+k8)*(1+k5)*(1+k6)*(1+k4))*k10*(1+k10+k9*(1+(1+k7)*(1+k8)*(1+k5)*(1+k6)*(1+k4)))+k9*(1+(1+k7)*(1+k8)*(1+k5)*(1+k6)*(1+k4))*k10,k9*(1+(1+k7)*(1+k8)*(1+k5)*(1+k6)*(1+k4))*k10*(1+k10+k9*(1+(1+k7)*(1+k8)*(1+k5)*(1+k6)*(1+k4)))+k9*(1+(1+k7)*(1+k8)*(1+k5)*(1+k6)*(1+k4))*k10,k9*(1+(1+k7)*(1+k8)*(1+k5)*(1+k6)*(1+k4))*k10*(1+k9*(1+(1+k7)*(1+k8)*(1+k5)*(1+k6)*(1+k4))*k10)*(1+k10+k9*(1+(1+k7)*(1+k8)*(1+k5)*(1+k6)*(1+k4))),k9*(1+(1+k7)*(1+k8)*(1+k5)*(1+k6)*(1+k4))*k10*(1+k9*(1+(1+k7)*(1+k8)*(1+k5)*(1+k6)*(1+k4))*k10)*(1+k10+k9*(1+(1+k7)*(1+k8)*(1+k5)*(1+k6)*(1+k4))),k9*(1+(1+k7)*(1+k8)*(1+k5)*(1+k6)*(1+k4))*k10*(1+k9*(1+(1+k7)*(1+k8)*(1+k5)*(1+k6)*(1+k4))*k10)*(1+k10+k9*(1+(1+k7)*(1+k8)*(1+k5)*(1+k6)*(1+k4))),k9*(1+(1+k7)*(1+k8)*(1+k5)*(1+k6)*(1+k4))*k10*(1+k9*(1+(1+k7)*(1+k8)*(1+k5)*(1+k6)*(1+k4))*k10)*(1+k10+k9*(1+(1+k7)*(1+k8)*(1+k5)*(1+k6)*(1+k4))),1+k9*(1+(1+k7)*(1+k8)*(1+k5)*(1+k6)*(1+k4))*k10*(1+k9*(1+(1+k7)*(1+k8)*(1+k5)*(1+k6)*(1+k4))*k10)*(1+k10+k9*(1+(1+k7)*(1+k8)*(1+k5)*(1+k6)*(1+k4))),0,0,1,0,1,0,1,0,0,1,1,1,0,k0,k1,k2,k3,1+k4} Using ginsh is obvious that this has not happened. Cutting and pasting code from manual has done some work but not much:( This is what I've got so far: const symbol & g_smbl(const string & s){ static map<string, symbol> directory; map<string, symbol>::iterator i = directory.find(s); if (i != directory.end()) return i->second; else return directory.insert(make_pair(s, symbol(s))).first->second; } struct map_rem_quad_evens : public map_function { ex var; ex tmp,tmp1; numeric coeff; map_rem_quad_evens(const ex & var_) : var(var_) {} ex operator()(const ex & e){ if (is_a<add>(e)) return e.map(*this); if (is_a<mul>(e)) return e.map(*this); else if (is_a<power>(e) && e.op(0).is_equal(var)) return e.op(0); else if (is_a<numeric>(e)){ coeff=ex_to<numeric>(e); if (coeff>0) return mod(coeff,2); else return e.map(*this); } else return e; } }; ex simpl(const ex & e){ ex tmp; tmp=subs(expand(e),pow(wild(),wild(1))==wild()); return tmp; } ex expr_simpl(const ex & e){ ex a; a=expand(e); map_rem_quad_evens rem_quad_evens(g_smbl("k0")); a=rem_quad_evens(e); a=simpl(a); a=rem_quad_evens(e); return a; } lst expr_simpl(const lst & a){ int i; lst tmp; tmp= 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0; for (i=0;i<word_len;i++) tmp[i]=expr_simpl(a[i]); return tmp; }

2 1

using modulo and expanding
by Kostas Patsakis 01 Jan '06

01 Jan '06

is there a way to use modulo over an expression? for example: 3*k1^2+4*k1*k2+1231231*k1 mod 2= k1^2+k1 all I really want is to work with polynomials over Z_2 so with subs I can do subs(a,$1^2=$1) but some times it's not enough cause I might run into something with power more than 2 would subs(a,$1^$2=$1) be enough??? I'm not using ginsh but c++ any help???

2 1

GiNaC library for FSC construction
by Vladimir Kisil 28 Dec '05

28 Dec '05

Dear All, I wrote a GiNaC library (http://arxiv.org/abs/cs.MS/0512073) which implements the Fillmore-Springer-Cnops construction (see abstract bellow). Best wishes to all for the coming New Year 2006! Vladimir -- Vladimir V. Kisil email: kisilv(a)maths.leeds.ac.uk -- www: http://maths.leeds.ac.uk/~kisilv/ Computer Science, abstract cs.MS/0512073 From: Vladimir V Kisil [view email] Date: Sat, 17 Dec 2005 15:09:11 GMT (149kb) Fillmore--Springer--Cnops Construction Implemented in GiNaC Authors: Vladimir V. Kisil Comments: LaTeX, 53 p; 9 PS graphics in one figure, the full source files are included, see last section of the paper Report-no: LEEDS-MATH-PURE-2005-29 Subj-class: Mathematical Software; Computational Geometry; Symbolic Computation This paper presents an implementation of the Fillmore--Springer--Cnops construction (FSCc) along with illustrations of its usage. FSCc linearises the linear-fraction action of the Moebius group in R^n. This has clear advantages in several theoretical and applied fields including engineering. Our implementation is based on the Clifford algebra capacities of the GiNaC computer algebra system (http://www.ginac.de/) which were described in cs.MS/0410044. The core of this realisation of FSCc is done for an arbitrary dimension of R^n with a metric given by an arbitrary bilinear form. We also present a subclass for two dimensional cycles (i.e. circles, parabolas and hyperbolas), which add some 2D specific routines including a visualisation to PostScript files through the MetaPost (http://www.tug.org/metapost.html) or Asymptote (http://asymptote.sourceforge.net/) packages. This software is the backbone of many results published in math.CV/0512416 and we use its applications there for demonstration. It can be ported (with various level of required changes) to other CAS with Clifford algebras capabilities similar to GiNaC.

1 0

small documentation fix
by varg＠theor.jinr.ru 25 Dec '05

25 Dec '05

Hello! Documentation on writing GiNaC classes contains code which won't even compile. Here is a fix: Index: doc/tutorial/ginac.texi =================================================================== RCS file: /home/cvs/GiNaC/doc/tutorial/ginac.texi,v retrieving revision 1.159.2.13 diff -r1.159.2.13 ginac.texi 7774c7774 < cout << e.bp->class_name() << endl; --- > cout << ex_to<basic>(e).class_name() << endl; -- All science is either physics or stamp collecting.

2 1

solving linear systems with ginac
by Kent-Andre Mardal 19 Dec '05

19 Dec '05

First of all, I would like to say that the GiNaC package is great! I have used it a lot lately! Now, I am trying to solve a linear system, which consists of 18 equations and 18 variables. The matrix and right-hand side do not contain floating point numbers. I have done similar things with smaller matrices and I very much appreciate that GiNaC gives the solution in non-floating point numbers. However, in this concrete case (which is list below). GiNaC is not able to solve the system on my machine with 1 Gb RAM. It runs out of memory! It is of course possible to solve this linear system by using some other library, but it also seems a bit strange that a 18x18 matrix should be that hard to invert. The matrix is non-singular and non of the eigenvalues are "close to 0". The matrix and right-hand side are as follows: Matrix: [ [0,0,0,0,-1/5,0,0,0,0,0,0,0,0,0,-1/30,-1/10,0,0], [0,0,0,0,-1/20,0,0,0,0,0,0,0,0,0,-1/20,-1/15,0,0], [0,0,0,0,-1/30,0,0,0,0,0,0,0,0,0,-1/5,-1/10,0,0], [0,0,0,0,0,0,1/30,1/5,0,0,0,0,0,1/10,0,0,0,0], [0,0,0,0,0,0,1/20,1/20,0,0,0,0,0,1/15,0,0,0,0], [0,0,0,0,0,0,1/5,1/30,0,0,0,0,0,1/10,0,0,0,0], [1/30*sqrt(2),1/10*sqrt(2),0,0,1/30*sqrt(2),0,0,1/5*sqrt(2),1/10*sqrt(2),0,1/5*sqrt(2),1/30*sqrt(2),0,0,0,0,1/10*sqrt(2),1/5*sqrt(2)], [1/20*sqrt(2),1/15*sqrt(2),0,0,1/20*sqrt(2),0,0,1/20*sqrt(2),1/15*sqrt(2),0,1/20*sqrt(2),1/20*sqrt(2),0,0,0,0,1/15*sqrt(2),1/20*sqrt(2)], [1/5*sqrt(2),1/10*sqrt(2),0,0,1/5*sqrt(2),0,0,1/30*sqrt(2),1/10*sqrt(2),0,1/30*sqrt(2),1/5*sqrt(2),0,0,0,0,1/10*sqrt(2),1/30*sqrt(2)], [1/60,1/30,0,1/360,0,1/180,1/60,1/20,0,1/180,0,1/120,1/60,1/30,0,0,1/90,1/120], [1/20,1/30,0,1/180,0,1/60,1/60,1/60,0,1/180,0,1/30,1/30,1/60,0,0,1/60,1/180], [1/60,1/60,0,1/120,0,1/90,1/20,1/60,0,1/180,0,1/120,1/30,1/30,0,0,1/180,1/360], [0,0,1/30,1/180,1/60,1/180,0,0,1/30,1/60,1/20,1/180,0,0,1/60,1/60,1/60,1/30], [0,0,1/60,1/360,1/20,1/180,0,0,1/30,1/180,1/60,1/120,0,0,1/60,1/30,1/90,1/120], [0,0,1/30,1/120,1/60,1/180,0,0,1/60,1/90,1/60,1/360,0,0,1/20,1/30,1/180,1/120], [0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0], [0,0,0,-2,0,0,0,0,0,2,0,0,0,0,0,0,0,0], [0,0,0,-2,0,2,0,0,0,0,0,0,0,0,0,0,0,0]] rhs: [[1],[0],[0],[0],[0],[0],[0],[0],[0],[0],[0],[0],[0],[0],[0],[0],[0],[0]] Kent-Andre Mardal Simula Research Laboratory

2 6

Re: [GiNaC-list] problem installing ginac on windows via cygwin
by Matthew Smith 15 Dec '05

15 Dec '05

Here is my configure.log file, Note that there appear to be two problems; configure cannot find tgetent (see the line labeled configure: 21027) nor readline in -lreadline (configure: 21269). Thanks, Matt Smith This file contains any messages produced by compilers while running configure, to aid debugging if configure makes a mistake. It was created by GiNaC configure 1.3.3, which was generated by GNU Autoconf 2.59. Invocation command line was $ ./configure ## --------- ## ## Platform. ## ## --------- ## hostname = mcsmith uname -m = i686 uname -r = 1.5.18(0.132/4/2) uname -s = CYGWIN_NT-5.1 uname -v = 2005-07-02 20:30 /usr/bin/uname -p = unknown /bin/uname -X = unknown /bin/arch = unknown /usr/bin/arch -k = unknown /usr/convex/getsysinfo = unknown hostinfo = unknown /bin/machine = unknown /usr/bin/oslevel = unknown /bin/universe = unknown PATH: /usr/local/bin PATH: /usr/bin PATH: /bin PATH: /usr/X11R6/bin PATH: /cygdrive/c/texmf/miktex/bin PATH: /cygdrive/c/WINDOWS/system32 PATH: /cygdrive/c/WINDOWS PATH: /cygdrive/c/WINDOWS/System32/Wbem PATH: C PATH: /djgpp/bin PATH: C PATH: /texmf/miktex/bin PATH: /cygdrive/c/WINDOWS/system32 PATH: /cygdrive/c/WINDOWS PATH: /cygdrive/c/WINDOWS/System32/Wbem PATH: C PATH: /djgpp/bin PATH: C PATH: /texmf/miktex/bin PATH: /cygdrive/c/WINDOWS/system32 PATH: /cygdrive/c/WINDOWS PATH: /cygdrive/c/WINDOWS/System32/Wbem PATH: C PATH: /djgpp/bin PATH: C PATH: /WINDOWS/System32 PATH: /cygdrive/c/KERB PATH: /cygdrive/c/KERB PATH: /cygdrive/c/KERB PATH: /usr/lib/lapack ## ----------- ## ## Core tests. ## ## ----------- ## configure:1558: checking for a BSD-compatible install configure:1613: result: /usr/bin/install -c configure:1624: checking whether build environment is sane configure:1667: result: yes configure:1732: checking for gawk configure:1748: found /usr/bin/gawk configure:1758: result: gawk configure:1768: checking whether make sets $(MAKE) configure:1788: result: yes configure:2045: checking for g++ configure:2061: found /usr/bin/g++ configure:2071: result: g++ configure:2087: checking for C++ compiler version configure:2090: g++ --version </dev/null >&5 g++ (GCC) 3.4.4 (cygming special) (gdc 0.12, using dmd 0.125) Copyright (C) 2004 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. configure:2093: $? = 0 configure:2095: g++ -v </dev/null >&5 Reading specs from /usr/lib/gcc/i686-pc-cygwin/3.4.4/specs Configured with: /gcc/gcc-3.4.4/gcc-3.4.4-1/configure --verbose --prefix=/usr - -exec-prefix=/usr --sysconfdir=/etc --libdir=/usr/lib --libexecdir=/usr/lib -- mandir=/usr/share/man --infodir=/usr/share/info --enable- languages=c,ada,c++,d,f77,java,objc --enable-nls --without-included-gettext -- enable-version-specific-runtime-libs --without-x --enable-libgcj --disable- java-awt --with-system-zlib --enable-interpreter --disable-libgcj-debug -- enable-threads=posix --enable-java-gc=boehm --disable-win32-registry --enable- sjlj-exceptions --enable-hash-synchronization --enable-libstdcxx-debug : (reconfigured) Thread model: posix gcc version 3.4.4 (cygming special) (gdc 0.12, using dmd 0.125) configure:2098: $? = 0 configure:2100: g++ -V </dev/null >&5 g++: `-V' option must have argument configure:2103: $? = 1 configure:2126: checking for C++ compiler default output file name configure:2129: g++ conftest.cc >&5 configure:2132: $? = 0 configure:2178: result: a.exe configure:2183: checking whether the C++ compiler works configure:2189: ./a.exe configure:2192: $? = 0 configure:2209: result: yes configure:2216: checking whether we are cross compiling configure:2218: result: no configure:2221: checking for suffix of executables configure:2223: g++ -o conftest.exe conftest.cc >&5 configure:2226: $? = 0 configure:2251: result: .exe configure:2257: checking for suffix of object files configure:2278: g++ -c conftest.cc >&5 configure:2281: $? = 0 configure:2303: result: o configure:2307: checking whether we are using the GNU C++ compiler configure:2331: g++ -c conftest.cc >&5 configure:2337: $? = 0 configure:2340: test -z || test ! -s conftest.err configure:2343: $? = 0 configure:2346: test -s conftest.o configure:2349: $? = 0 configure:2362: result: yes configure:2368: checking whether g++ accepts -g configure:2389: g++ -c -g conftest.cc >&5 configure:2395: $? = 0 configure:2398: test -z || test ! -s conftest.err configure:2401: $? = 0 configure:2404: test -s conftest.o configure:2407: $? = 0 configure:2418: result: yes configure:2460: g++ -c -g -O2 conftest.cc >&5 configure:2466: $? = 0 configure:2469: test -z || test ! -s conftest.err configure:2472: $? = 0 configure:2475: test -s conftest.o configure:2478: $? = 0 configure:2504: g++ -c -g -O2 conftest.cc >&5 conftest.cc: In function `int main()': conftest.cc:17: error: `exit' undeclared (first use this function) conftest.cc:17: error: (Each undeclared identifier is reported only once for each function it appears in.) configure:2510: $? = 1 configure: failed program was: | /* confdefs.h. */ | | #define PACKAGE_NAME "GiNaC" | #define PACKAGE_TARNAME "ginac" | #define PACKAGE_VERSION "1.3.3" | #define PACKAGE_STRING "GiNaC 1.3.3" | #define PACKAGE_BUGREPORT "<ginac-list(a)ginac.de>" | #define PACKAGE "ginac" | #define VERSION "1.3.3" | #define ARCHIVE_VERSION 2 | #define ARCHIVE_AGE 2 | /* end confdefs.h. */ | | int | main () | { | exit (42); | ; | return 0; | } configure:2460: g++ -c -g -O2 conftest.cc >&5 configure:2466: $? = 0 configure:2469: test -z || test ! -s conftest.err configure:2472: $? = 0 configure:2475: test -s conftest.o configure:2478: $? = 0 configure:2504: g++ -c -g -O2 conftest.cc >&5 configure:2510: $? = 0 configure:2513: test -z || test ! -s conftest.err configure:2516: $? = 0 configure:2519: test -s conftest.o configure:2522: $? = 0 configure:2556: checking for style of include used by make configure:2584: result: GNU configure:2612: checking dependency style of g++ configure:2702: result: gcc3 configure:2724: checking how to run the C++ preprocessor configure:2755: g++ -E conftest.cc configure:2761: $? = 0 configure:2793: g++ -E conftest.cc conftest.cc:16:28: ac_nonexistent.h: No such file or directory configure:2799: $? = 1 configure: failed program was: | /* confdefs.h. */ | | #define PACKAGE_NAME "GiNaC" | #define PACKAGE_TARNAME "ginac" | #define PACKAGE_VERSION "1.3.3" | #define PACKAGE_STRING "GiNaC 1.3.3" | #define PACKAGE_BUGREPORT "<ginac-list(a)ginac.de>" | #define PACKAGE "ginac" | #define VERSION "1.3.3" | #define ARCHIVE_VERSION 2 | #define ARCHIVE_AGE 2 | #ifdef __cplusplus | extern "C" void std::exit (int) throw (); using std::exit; | #endif | /* end confdefs.h. */ | #include <ac_nonexistent.h> configure:2838: result: g++ -E configure:2862: g++ -E conftest.cc configure:2868: $? = 0 configure:2900: g++ -E conftest.cc conftest.cc:16:28: ac_nonexistent.h: No such file or directory configure:2906: $? = 1 configure: failed program was: | /* confdefs.h. */ | | #define PACKAGE_NAME "GiNaC" | #define PACKAGE_TARNAME "ginac" | #define PACKAGE_VERSION "1.3.3" | #define PACKAGE_STRING "GiNaC 1.3.3" | #define PACKAGE_BUGREPORT "<ginac-list(a)ginac.de>" | #define PACKAGE "ginac" | #define VERSION "1.3.3" | #define ARCHIVE_VERSION 2 | #define ARCHIVE_AGE 2 | #ifdef __cplusplus | extern "C" void std::exit (int) throw (); using std::exit; | #endif | /* end confdefs.h. */ | #include <ac_nonexistent.h> configure:2962: checking for a BSD-compatible install configure:3017: result: /usr/bin/install -c configure:3106: checking build system type configure:3124: result: i686-pc-cygwin configure:3132: checking host system type configure:3146: result: i686-pc-cygwin configure:3200: checking for gcc configure:3216: found /usr/bin/gcc configure:3226: result: gcc configure:3470: checking for C compiler version configure:3473: gcc --version </dev/null >&5 gcc (GCC) 3.4.4 (cygming special) (gdc 0.12, using dmd 0.125) Copyright (C) 2004 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. configure:3476: $? = 0 configure:3478: gcc -v </dev/null >&5 Reading specs from /usr/lib/gcc/i686-pc-cygwin/3.4.4/specs Configured with: /gcc/gcc-3.4.4/gcc-3.4.4-1/configure --verbose --prefix=/usr - -exec-prefix=/usr --sysconfdir=/etc --libdir=/usr/lib --libexecdir=/usr/lib -- mandir=/usr/share/man --infodir=/usr/share/info --enable- languages=c,ada,c++,d,f77,java,objc --enable-nls --without-included-gettext -- enable-version-specific-runtime-libs --without-x --enable-libgcj --disable- java-awt --with-system-zlib --enable-interpreter --disable-libgcj-debug -- enable-threads=posix --enable-java-gc=boehm --disable-win32-registry --enable- sjlj-exceptions --enable-hash-synchronization --enable-libstdcxx-debug : (reconfigured) Thread model: posix gcc version 3.4.4 (cygming special) (gdc 0.12, using dmd 0.125) configure:3481: $? = 0 configure:3483: gcc -V </dev/null >&5 gcc: `-V' option must have argument configure:3486: $? = 1 configure:3489: checking whether we are using the GNU C compiler configure:3513: gcc -c conftest.c >&5 configure:3519: $? = 0 configure:3522: test -z || test ! -s conftest.err configure:3525: $? = 0 configure:3528: test -s conftest.o configure:3531: $? = 0 configure:3544: result: yes configure:3550: checking whether gcc accepts -g configure:3571: gcc -c -g conftest.c >&5 configure:3577: $? = 0 configure:3580: test -z || test ! -s conftest.err configure:3583: $? = 0 configure:3586: test -s conftest.o configure:3589: $? = 0 configure:3600: result: yes configure:3617: checking for gcc option to accept ANSI C configure:3687: gcc -c -g -O2 conftest.c >&5 configure:3693: $? = 0 configure:3696: test -z || test ! -s conftest.err configure:3699: $? = 0 configure:3702: test -s conftest.o configure:3705: $? = 0 configure:3723: result: none needed configure:3741: gcc -c -g -O2 conftest.c >&5 conftest.c:2: error: parse error before "me" configure:3747: $? = 1 configure: failed program was: | #ifndef __cplusplus | choke me | #endif configure:3879: checking dependency style of gcc configure:3969: result: gcc3 configure:3986: checking for a sed that does not truncate output configure:4040: result: /usr/bin/sed configure:4043: checking for egrep configure:4053: result: grep -E configure:4069: checking for ld used by gcc configure:4136: result: /usr/i686-pc-cygwin/bin/ld.exe configure:4145: checking if the linker (/usr/i686-pc-cygwin/bin/ld.exe) is GNU ld configure:4160: result: yes configure:4165: checking for /usr/i686-pc-cygwin/bin/ld.exe option to reload object files configure:4172: result: -r configure:4181: checking for BSD-compatible nm configure:4223: result: /usr/bin/nm -B configure:4227: checking whether ln -s works configure:4231: result: yes configure:4238: checking how to recognise dependent libraries configure:4412: result: file_magic ^x86 archive import|^x86 DLL configure:4625: checking how to run the C preprocessor configure:4660: gcc -E conftest.c configure:4666: $? = 0 configure:4698: gcc -E conftest.c conftest.c:16:28: ac_nonexistent.h: No such file or directory configure:4704: $? = 1 configure: failed program was: | /* confdefs.h. */ | | #define PACKAGE_NAME "GiNaC" | #define PACKAGE_TARNAME "ginac" | #define PACKAGE_VERSION "1.3.3" | #define PACKAGE_STRING "GiNaC 1.3.3" | #define PACKAGE_BUGREPORT "<ginac-list(a)ginac.de>" | #define PACKAGE "ginac" | #define VERSION "1.3.3" | #define ARCHIVE_VERSION 2 | #define ARCHIVE_AGE 2 | #ifdef __cplusplus | extern "C" void std::exit (int) throw (); using std::exit; | #endif | /* end confdefs.h. */ | #include <ac_nonexistent.h> configure:4743: result: gcc -E configure:4767: gcc -E conftest.c configure:4773: $? = 0 configure:4805: gcc -E conftest.c conftest.c:16:28: ac_nonexistent.h: No such file or directory configure:4811: $? = 1 configure: failed program was: | /* confdefs.h. */ | | #define PACKAGE_NAME "GiNaC" | #define PACKAGE_TARNAME "ginac" | #define PACKAGE_VERSION "1.3.3" | #define PACKAGE_STRING "GiNaC 1.3.3" | #define PACKAGE_BUGREPORT "<ginac-list(a)ginac.de>" | #define PACKAGE "ginac" | #define VERSION "1.3.3" | #define ARCHIVE_VERSION 2 | #define ARCHIVE_AGE 2 | #ifdef __cplusplus | extern "C" void std::exit (int) throw (); using std::exit; | #endif | /* end confdefs.h. */ | #include <ac_nonexistent.h> configure:4855: checking for ANSI C header files configure:4880: gcc -c -g -O2 conftest.c >&5 configure:4886: $? = 0 configure:4889: test -z || test ! -s conftest.err configure:4892: $? = 0 configure:4895: test -s conftest.o configure:4898: $? = 0 configure:4987: gcc -o conftest.exe -g -O2 conftest.c >&5 configure:4990: $? = 0 configure:4992: ./conftest.exe configure:4995: $? = 0 configure:5010: result: yes configure:5034: checking for sys/types.h configure:5050: gcc -c -g -O2 conftest.c >&5 configure:5056: $? = 0 configure:5059: test -z || test ! -s conftest.err configure:5062: $? = 0 configure:5065: test -s conftest.o configure:5068: $? = 0 configure:5079: result: yes configure:5034: checking for sys/stat.h configure:5050: gcc -c -g -O2 conftest.c >&5 configure:5056: $? = 0 configure:5059: test -z || test ! -s conftest.err configure:5062: $? = 0 configure:5065: test -s conftest.o configure:5068: $? = 0 configure:5079: result: yes configure:5034: checking for stdlib.h configure:5050: gcc -c -g -O2 conftest.c >&5 configure:5056: $? = 0 configure:5059: test -z || test ! -s conftest.err configure:5062: $? = 0 configure:5065: test -s conftest.o configure:5068: $? = 0 configure:5079: result: yes configure:5034: checking for string.h configure:5050: gcc -c -g -O2 conftest.c >&5 configure:5056: $? = 0 configure:5059: test -z || test ! -s conftest.err configure:5062: $? = 0 configure:5065: test -s conftest.o configure:5068: $? = 0 configure:5079: result: yes configure:5034: checking for memory.h configure:5050: gcc -c -g -O2 conftest.c >&5 configure:5056: $? = 0 configure:5059: test -z || test ! -s conftest.err configure:5062: $? = 0 configure:5065: test -s conftest.o configure:5068: $? = 0 configure:5079: result: yes configure:5034: checking for strings.h configure:5050: gcc -c -g -O2 conftest.c >&5 configure:5056: $? = 0 configure:5059: test -z || test ! -s conftest.err configure:5062: $? = 0 configure:5065: test -s conftest.o configure:5068: $? = 0 configure:5079: result: yes configure:5034: checking for inttypes.h configure:5050: gcc -c -g -O2 conftest.c >&5 configure:5056: $? = 0 configure:5059: test -z || test ! -s conftest.err configure:5062: $? = 0 configure:5065: test -s conftest.o configure:5068: $? = 0 configure:5079: result: yes configure:5034: checking for stdint.h configure:5050: gcc -c -g -O2 conftest.c >&5 configure:5056: $? = 0 configure:5059: test -z || test ! -s conftest.err configure:5062: $? = 0 configure:5065: test -s conftest.o configure:5068: $? = 0 configure:5079: result: yes configure:5034: checking for unistd.h configure:5050: gcc -c -g -O2 conftest.c >&5 configure:5056: $? = 0 configure:5059: test -z || test ! -s conftest.err configure:5062: $? = 0 configure:5065: test -s conftest.o configure:5068: $? = 0 configure:5079: result: yes configure:5105: checking dlfcn.h usability configure:5117: gcc -c -g -O2 conftest.c >&5 configure:5123: $? = 0 configure:5126: test -z || test ! -s conftest.err configure:5129: $? = 0 configure:5132: test -s conftest.o configure:5135: $? = 0 configure:5145: result: yes configure:5149: checking dlfcn.h presence configure:5159: gcc -E conftest.c configure:5165: $? = 0 configure:5185: result: yes configure:5220: checking for dlfcn.h configure:5227: result: yes configure:5292: checking for g77 configure:5308: found /usr/bin/g77 configure:5318: result: g77 configure:5333: checking for Fortran 77 compiler version configure:5336: g77 --version </dev/null >&5 GNU Fortran (GCC) 3.4.4 (cygming special) (gdc 0.12, using dmd 0.125) Copyright (C) 2004 Free Software Foundation, Inc. GNU Fortran comes with NO WARRANTY, to the extent permitted by law. You may redistribute copies of GNU Fortran under the terms of the GNU General Public License. For more information about these matters, see the file named COPYING or type the command `info -f g77 Copying'. configure:5339: $? = 0 configure:5341: g77 -v </dev/null >&5 Reading specs from /usr/lib/gcc/i686-pc-cygwin/3.4.4/specs Configured with: /gcc/gcc-3.4.4/gcc-3.4.4-1/configure --verbose --prefix=/usr - -exec-prefix=/usr --sysconfdir=/etc --libdir=/usr/lib --libexecdir=/usr/lib -- mandir=/usr/share/man --infodir=/usr/share/info --enable- languages=c,ada,c++,d,f77,java,objc --enable-nls --without-included-gettext -- enable-version-specific-runtime-libs --without-x --enable-libgcj --disable- java-awt --with-system-zlib --enable-interpreter --disable-libgcj-debug -- enable-threads=posix --enable-java-gc=boehm --disable-win32-registry --enable- sjlj-exceptions --enable-hash-synchronization --enable-libstdcxx-debug : (reconfigured) Thread model: posix gcc version 3.4.4 (cygming special) (gdc 0.12, using dmd 0.125) configure:5344: $? = 0 configure:5346: g77 -V </dev/null >&5 g77: `-V' option must have argument configure:5349: $? = 1 configure:5357: checking whether we are using the GNU Fortran 77 compiler configure:5371: g77 -c conftest.F >&5 configure:5377: $? = 0 configure:5380: test -z || test ! -s conftest.err configure:5383: $? = 0 configure:5386: test -s conftest.o configure:5389: $? = 0 configure:5402: result: yes configure:5408: checking whether g77 accepts -g configure:5420: g77 -c -g conftest.f >&5 configure:5426: $? = 0 configure:5429: test -z || test ! -s conftest.err configure:5432: $? = 0 configure:5435: test -s conftest.o configure:5438: $? = 0 configure:5450: result: yes configure:5480: checking the maximum length of command line arguments configure:5545: result: 8192 configure:5556: checking command to parse /usr/bin/nm -B output from gcc object configure:5645: gcc -c -g -O2 conftest.c >&5 configure:5648: $? = 0 configure:5652: /usr/bin/nm -B conftest.o \| sed -n -e 's/^.*[ ]$[ABCDGIRSTW] [ABCDGIRSTW]*$[ ][ ]*$[_A-Za-z][_A-Za-z0-9]*$$/\1 \2\3 \3/p' \> conftest.nm configure:5655: $? = 0 cannot find nm_test_var in conftest.nm configure:5645: gcc -c -g -O2 conftest.c >&5 configure:5648: $? = 0 configure:5652: /usr/bin/nm -B conftest.o \| sed -n -e 's/^.*[ ]$[ABCDGIRSTW] [ABCDGIRSTW]*$[ ][ ]*$_$$[_A-Za-z][_A-Za-z0-9]*$$/\1 \2\3 \3/p' \> conftest.nm configure:5655: $? = 0 configure:5707: gcc -o conftest.exe -g -O2 conftest.c conftstm.o >&5 configure:5710: $? = 0 configure:5748: result: ok configure:5752: checking for objdir configure:5767: result: .libs configure:5857: checking for ar configure:5873: found /usr/bin/ar configure:5884: result: ar configure:5937: checking for ranlib configure:5953: found /usr/bin/ranlib configure:5964: result: ranlib configure:6017: checking for strip configure:6033: found /usr/bin/strip configure:6044: result: strip configure:6306: checking if gcc static flag works configure:6329: result: yes configure:6347: checking if gcc supports -fno-rtti -fno-exceptions configure:6365: gcc -c -g -O2 -fno-rtti -fno-exceptions conftest.c >&5 cc1: warning: command line option "-fno-rtti" is valid for C++/ObjC++ but not for C configure:6369: $? = 0 configure:6380: result: no configure:6395: checking for gcc option to produce PIC configure:6572: result: configure:6637: checking if gcc supports -c -o file.o configure:6658: gcc -c -g -O2 -o out/conftest2.o conftest.c >&5 configure:6662: $? = 0 configure:6682: result: yes configure:6708: checking whether the gcc linker (/usr/i686-pc- cygwin/bin/ld.exe) supports shared libraries configure:7555: result: yes configure:7581: checking whether -lc should be explicitly linked in configure:7586: gcc -c -g -O2 conftest.c >&5 configure:7589: $? = 0 configure:7603: gcc -shared conftest.o -v -o ./conftest -Wl,--image- base=0x10000000 -Wl,--out-implib,conftest 2\>\&1 \| grep -lc \>/dev/null 2 \>\&1 configure:7606: $? = 1 configure:7618: result: yes configure:7626: checking dynamic linker characteristics configure:8178: result: Win32 ld.exe configure:8182: checking how to hardcode library paths into programs configure:8207: result: immediate configure:8221: checking whether stripping libraries is possible configure:8226: result: yes configure:9049: checking if libtool supports shared libraries configure:9051: result: yes configure:9054: checking whether to build shared libraries configure:9112: result: yes configure:9115: checking whether to build static libraries configure:9119: result: yes configure:9211: creating libtool configure:9758: checking for ld used by g++ configure:9825: result: /usr/i686-pc-cygwin/bin/ld.exe configure:9834: checking if the linker (/usr/i686-pc-cygwin/bin/ld.exe) is GNU ld configure:9849: result: yes configure:9900: checking whether the g++ linker (/usr/i686-pc- cygwin/bin/ld.exe) supports shared libraries configure:10726: result: yes configure:10744: g++ -c -g -O2 conftest.cc >&5 configure:10747: $? = 0 configure:10843: checking for g++ option to produce PIC configure:11095: result: configure:11160: checking if g++ supports -c -o file.o configure:11181: g++ -c -g -O2 -o out/conftest2.o conftest.cc >&5 configure:11185: $? = 0 configure:11205: result: yes configure:11231: checking whether the g++ linker (/usr/i686-pc- cygwin/bin/ld.exe) supports shared libraries configure:11259: result: yes configure:11330: checking dynamic linker characteristics configure:11882: result: Win32 ld.exe configure:11886: checking how to hardcode library paths into programs configure:11911: result: immediate configure:11925: checking whether stripping libraries is possible configure:11930: result: yes configure:13230: checking if libtool supports shared libraries configure:13232: result: yes configure:13235: checking whether to build shared libraries configure:13253: result: yes configure:13256: checking whether to build static libraries configure:13260: result: yes configure:13272: checking for g77 option to produce PIC configure:13449: result: configure:13514: checking if g77 supports -c -o file.o configure:13535: g77 -c -g -O2 -o out/conftest2.o conftest.f >&5 configure:13539: $? = 0 configure:13559: result: yes configure:13585: checking whether the g77 linker (/usr/i686-pc- cygwin/bin/ld.exe) supports shared libraries configure:14412: result: yes configure:14483: checking dynamic linker characteristics configure:15035: result: Win32 ld.exe configure:15039: checking how to hardcode library paths into programs configure:15064: result: immediate configure:15078: checking whether stripping libraries is possible configure:15083: result: yes configure:19177: checking for flex configure:19193: found /usr/bin/flex configure:19203: result: flex configure:19216: checking for yywrap in -lfl configure:19246: gcc -o conftest.exe -g -O2 conftest.c -lfl >&5 configure:19252: $? = 0 configure:19255: test -z || test ! -s conftest.err configure:19258: $? = 0 configure:19261: test -s conftest.exe configure:19264: $? = 0 configure:19277: result: yes configure:19354: checking lex output file root configure:19365: flex conftest.l configure:19368: $? = 0 configure:19380: result: lex.yy configure:19385: checking whether yytext is a pointer configure:19401: gcc -o conftest.exe -g -O2 conftest.c -lfl >&5 configure:19407: $? = 0 configure:19410: test -z || test ! -s conftest.err configure:19413: $? = 0 configure:19416: test -s conftest.exe configure:19419: $? = 0 configure:19433: result: yes configure:19451: checking for bison configure:19467: found /usr/bin/bison configure:19477: result: bison -y configure:19489: checking for long configure:19513: gcc -c -g -O2 conftest.c >&5 configure:19519: $? = 0 configure:19522: test -z || test ! -s conftest.err configure:19525: $? = 0 configure:19528: test -s conftest.o configure:19531: $? = 0 configure:19542: result: yes configure:19545: checking size of long configure:19857: gcc -o conftest.exe -g -O2 conftest.c >&5 configure:19860: $? = 0 configure:19862: ./conftest.exe configure:19865: $? = 0 configure:19888: result: 4 configure:19895: checking for long long configure:19919: gcc -c -g -O2 conftest.c >&5 configure:19925: $? = 0 configure:19928: test -z || test ! -s conftest.err configure:19931: $? = 0 configure:19934: test -s conftest.o configure:19937: $? = 0 configure:19948: result: yes configure:19951: checking size of long long configure:20263: gcc -o conftest.exe -g -O2 conftest.c >&5 configure:20266: $? = 0 configure:20268: ./conftest.exe configure:20271: $? = 0 configure:20294: result: 8 configure:20301: checking for long double configure:20325: gcc -c -g -O2 conftest.c >&5 configure:20331: $? = 0 configure:20334: test -z || test ! -s conftest.err configure:20337: $? = 0 configure:20340: test -s conftest.o configure:20343: $? = 0 configure:20354: result: yes configure:20357: checking size of long double configure:20669: gcc -o conftest.exe -g -O2 conftest.c >&5 configure:20672: $? = 0 configure:20674: ./conftest.exe configure:20677: $? = 0 configure:20700: result: 12 configure:20721: checking for unistd.h configure:20726: result: yes configure:20880: checking readline/readline.h usability configure:20892: g++ -c -g -O2 conftest.cc >&5 configure:20898: $? = 0 configure:20901: test -z || test ! -s conftest.err configure:20904: $? = 0 configure:20907: test -s conftest.o configure:20910: $? = 0 configure:20920: result: yes configure:20924: checking readline/readline.h presence configure:20934: g++ -E conftest.cc configure:20940: $? = 0 configure:20960: result: yes configure:20995: checking for readline/readline.h configure:21002: result: yes configure:20880: checking readline/history.h usability configure:20892: g++ -c -g -O2 conftest.cc >&5 configure:20898: $? = 0 configure:20901: test -z || test ! -s conftest.err configure:20904: $? = 0 configure:20907: test -s conftest.o configure:20910: $? = 0 configure:20920: result: yes configure:20924: checking readline/history.h presence configure:20934: g++ -E conftest.cc configure:20940: $? = 0 configure:20960: result: yes configure:20995: checking for readline/history.h configure:21002: result: yes configure:21027: checking for tgetent configure:21084: g++ -o conftest.exe -g -O2 conftest.cc >&5 /cygdrive/c/DOCUME~1/Eva/LOCALS~1/Temp/ccu0KFtq.o: In function `main': /ginac-1.3.3/conftest.cc:74: undefined reference to `_tgetent' /ginac-1.3.3/conftest.cc:73: undefined reference to `_tgetent' collect2: ld returned 1 exit status configure:21090: $? = 1 configure: failed program was: | /* confdefs.h. */ | | #define PACKAGE_NAME "GiNaC" | #define PACKAGE_TARNAME "ginac" | #define PACKAGE_VERSION "1.3.3" | #define PACKAGE_STRING "GiNaC 1.3.3" | #define PACKAGE_BUGREPORT "<ginac-list(a)ginac.de>" | #define PACKAGE "ginac" | #define VERSION "1.3.3" | #define ARCHIVE_VERSION 2 | #define ARCHIVE_AGE 2 | #ifdef __cplusplus | extern "C" void std::exit (int) throw (); using std::exit; | #endif | #define STDC_HEADERS 1 | #define HAVE_SYS_TYPES_H 1 | #define HAVE_SYS_STAT_H 1 | #define HAVE_STDLIB_H 1 | #define HAVE_STRING_H 1 | #define HAVE_MEMORY_H 1 | #define HAVE_STRINGS_H 1 | #define HAVE_INTTYPES_H 1 | #define HAVE_STDINT_H 1 | #define HAVE_UNISTD_H 1 | #define HAVE_DLFCN_H 1 | #define YYTEXT_POINTER 1 | #define SIZEOF_LONG 4 | #define SIZEOF_LONG_LONG 8 | #define SIZEOF_LONG_DOUBLE 12 | #define HAVE_UNISTD_H 1 | #define HAVE_READLINE_READLINE_H 1 | #define HAVE_READLINE_HISTORY_H 1 | /* end confdefs.h. */ | /* Define tgetent to an innocuous variant, in case <limits.h> declares tgetent. | For example, HP-UX 11i <limits.h> declares gettimeofday. */ | #define tgetent innocuous_tgetent | | /* System header to define __stub macros and hopefully few prototypes, | which can conflict with char tgetent (); below. | Prefer <limits.h> to <assert.h> if __STDC__ is defined, since | <limits.h> exists even on freestanding compilers. */ | | #ifdef __STDC__ | # include <limits.h> | #else | # include <assert.h> | #endif | | #undef tgetent | | /* Override any gcc2 internal prototype to avoid an error. */ | #ifdef __cplusplus | extern "C" | { | #endif | /* We use char because int might match the return type of a gcc2 | builtin and then its argument prototype would still apply. */ | char tgetent (); | /* The GNU C library defines this for functions which it implements | to always fail with ENOSYS. Some functions are actually named | something starting with __ and the normal name is an alias. */ | #if defined (__stub_tgetent) || defined (__stub___tgetent) | choke me | #else | char (*f) () = tgetent; | #endif | #ifdef __cplusplus | } | #endif | | int | main () | { | return f != tgetent; | ; | return 0; | } configure:21114: result: no configure:21127: checking for tgetent in -lncurses configure:21157: g++ -o conftest.exe -g -O2 conftest.cc -lncurses >&5 configure:21163: $? = 0 configure:21166: test -z || test ! -s conftest.err configure:21169: $? = 0 configure:21172: test -s conftest.exe configure:21175: $? = 0 configure:21188: result: yes configure:21269: checking for readline in -lreadline configure:21299: g++ -o conftest.exe -g -O2 conftest.cc -lreadline - lncurses >&5 /usr/lib/gcc/i686-pc-cygwin/3.4.4/../../../../i686-pc-cygwin/bin/ld: cannot find -lreadline collect2: ld returned 1 exit status configure:21305: $? = 1 configure: failed program was: | /* confdefs.h. */ | | #define PACKAGE_NAME "GiNaC" | #define PACKAGE_TARNAME "ginac" | #define PACKAGE_VERSION "1.3.3" | #define PACKAGE_STRING "GiNaC 1.3.3" | #define PACKAGE_BUGREPORT "<ginac-list(a)ginac.de>" | #define PACKAGE "ginac" | #define VERSION "1.3.3" | #define ARCHIVE_VERSION 2 | #define ARCHIVE_AGE 2 | #ifdef __cplusplus | extern "C" void std::exit (int) throw (); using std::exit; | #endif | #define STDC_HEADERS 1 | #define HAVE_SYS_TYPES_H 1 | #define HAVE_SYS_STAT_H 1 | #define HAVE_STDLIB_H 1 | #define HAVE_STRING_H 1 | #define HAVE_MEMORY_H 1 | #define HAVE_STRINGS_H 1 | #define HAVE_INTTYPES_H 1 | #define HAVE_STDINT_H 1 | #define HAVE_UNISTD_H 1 | #define HAVE_DLFCN_H 1 | #define YYTEXT_POINTER 1 | #define SIZEOF_LONG 4 | #define SIZEOF_LONG_LONG 8 | #define SIZEOF_LONG_DOUBLE 12 | #define HAVE_UNISTD_H 1 | #define HAVE_READLINE_READLINE_H 1 | #define HAVE_READLINE_HISTORY_H 1 | /* end confdefs.h. */ | | /* Override any gcc2 internal prototype to avoid an error. */ | #ifdef __cplusplus | extern "C" | #endif | /* We use char because int might match the return type of a gcc2 | builtin and then its argument prototype would still apply. */ | char readline (); | int | main () | { | readline (); | ; | return 0; | } configure:21330: result: no configure:21438: checking iosfwd usability configure:21450: g++ -c -g -O2 conftest.cc >&5 configure:21456: $? = 0 configure:21459: test -z || test ! -s conftest.err configure:21462: $? = 0 configure:21465: test -s conftest.o configure:21468: $? = 0 configure:21478: result: yes configure:21482: checking iosfwd presence configure:21492: g++ -E conftest.cc configure:21498: $? = 0 configure:21518: result: yes configure:21553: checking for iosfwd configure:21560: result: yes configure:21585: checking iostream usability configure:21597: g++ -c -g -O2 conftest.cc >&5 configure:21603: $? = 0 configure:21606: test -z || test ! -s conftest.err configure:21609: $? = 0 configure:21612: test -s conftest.o configure:21615: $? = 0 configure:21625: result: yes configure:21629: checking iostream presence configure:21639: g++ -E conftest.cc configure:21645: $? = 0 configure:21665: result: yes configure:21700: checking for iostream configure:21707: result: yes configure:21732: checking vector usability configure:21744: g++ -c -g -O2 conftest.cc >&5 configure:21750: $? = 0 configure:21753: test -z || test ! -s conftest.err configure:21756: $? = 0 configure:21759: test -s conftest.o configure:21762: $? = 0 configure:21772: result: yes configure:21776: checking vector presence configure:21786: g++ -E conftest.cc configure:21792: $? = 0 configure:21812: result: yes configure:21847: checking for vector configure:21854: result: yes configure:21879: checking list usability configure:21891: g++ -c -g -O2 conftest.cc >&5 configure:21897: $? = 0 configure:21900: test -z || test ! -s conftest.err configure:21903: $? = 0 configure:21906: test -s conftest.o configure:21909: $? = 0 configure:21919: result: yes configure:21923: checking list presence configure:21933: g++ -E conftest.cc configure:21939: $? = 0 configure:21959: result: yes configure:21994: checking for list configure:22001: result: yes configure:22026: checking map usability configure:22038: g++ -c -g -O2 conftest.cc >&5 configure:22044: $? = 0 configure:22047: test -z || test ! -s conftest.err configure:22050: $? = 0 configure:22053: test -s conftest.o configure:22056: $? = 0 configure:22066: result: yes configure:22070: checking map presence configure:22080: g++ -E conftest.cc configure:22086: $? = 0 configure:22106: result: yes configure:22141: checking for map configure:22148: result: yes configure:22173: checking string usability configure:22185: g++ -c -g -O2 conftest.cc >&5 configure:22191: $? = 0 configure:22194: test -z || test ! -s conftest.err configure:22197: $? = 0 configure:22200: test -s conftest.o configure:22203: $? = 0 configure:22213: result: yes configure:22217: checking string presence configure:22227: g++ -E conftest.cc configure:22233: $? = 0 configure:22253: result: yes configure:22288: checking for string configure:22295: result: yes configure:22320: checking sstream usability configure:22332: g++ -c -g -O2 conftest.cc >&5 configure:22338: $? = 0 configure:22341: test -z || test ! -s conftest.err configure:22344: $? = 0 configure:22347: test -s conftest.o configure:22350: $? = 0 configure:22360: result: yes configure:22364: checking sstream presence configure:22374: g++ -E conftest.cc configure:22380: $? = 0 configure:22400: result: yes configure:22435: checking for sstream configure:22442: result: yes configure:22467: checking typeinfo usability configure:22479: g++ -c -g -O2 conftest.cc >&5 configure:22485: $? = 0 configure:22488: test -z || test ! -s conftest.err configure:22491: $? = 0 configure:22494: test -s conftest.o configure:22497: $? = 0 configure:22507: result: yes configure:22511: checking typeinfo presence configure:22521: g++ -E conftest.cc configure:22527: $? = 0 configure:22547: result: yes configure:22582: checking for typeinfo configure:22589: result: yes configure:22614: checking stdexcept usability configure:22626: g++ -c -g -O2 conftest.cc >&5 configure:22632: $? = 0 configure:22635: test -z || test ! -s conftest.err configure:22638: $? = 0 configure:22641: test -s conftest.o configure:22644: $? = 0 configure:22654: result: yes configure:22658: checking stdexcept presence configure:22668: g++ -E conftest.cc configure:22674: $? = 0 configure:22694: result: yes configure:22729: checking for stdexcept configure:22736: result: yes configure:22761: checking algorithm usability configure:22773: g++ -c -g -O2 conftest.cc >&5 configure:22779: $? = 0 configure:22782: test -z || test ! -s conftest.err configure:22785: $? = 0 configure:22788: test -s conftest.o configure:22791: $? = 0 configure:22801: result: yes configure:22805: checking algorithm presence configure:22815: g++ -E conftest.cc configure:22821: $? = 0 configure:22841: result: yes configure:22876: checking for algorithm configure:22883: result: yes configure:22908: checking limits usability configure:22920: g++ -c -g -O2 conftest.cc >&5 configure:22926: $? = 0 configure:22929: test -z || test ! -s conftest.err configure:22932: $? = 0 configure:22935: test -s conftest.o configure:22938: $? = 0 configure:22948: result: yes configure:22952: checking limits presence configure:22962: g++ -E conftest.cc configure:22968: $? = 0 configure:22988: result: yes configure:23023: checking for limits configure:23030: result: yes configure:23085: checking for cln-config configure:23103: found /usr/local/bin/cln-config configure:23116: result: /usr/local/bin/cln-config configure:23124: checking for CLN - version >= 1.1.0 configure:23224: g++ -o conftest.exe -g -O2 -I/usr/local/include conftest.cc -L/usr/local/lib -lcln >&5 configure:23227: $? = 0 configure:23229: ./conftest.exe configure:23232: $? = 0 configure:23249: result: yes, 1.1.11 configure:23343: checking for doxygen configure:23377: result: no configure:23383: checking for latex configure:23401: found /usr/bin/latex configure:23414: result: /usr/bin/latex configure:23423: checking for pdflatex configure:23441: found /usr/bin/pdflatex configure:23454: result: /usr/bin/pdflatex configure:23463: checking for makeindex configure:23481: found /usr/bin/makeindex configure:23494: result: /usr/bin/makeindex configure:23503: checking for dvips configure:23521: found /usr/bin/dvips configure:23534: result: /usr/bin/dvips configure:23543: checking for fig2dev configure:23561: found /usr/X11R6/bin/fig2dev configure:23574: result: /usr/X11R6/bin/fig2dev configure:23702: creating ./config.status ## ---------------------- ## ## Running config.status. ## ## ---------------------- ## This file was extended by GiNaC config.status 1.3.3, which was generated by GNU Autoconf 2.59. Invocation command line was CONFIG_FILES = CONFIG_HEADERS = CONFIG_LINKS = CONFIG_COMMANDS = $ ./config.status on mcsmith config.status:798: creating Makefile config.status:798: creating GiNaC.spec config.status:798: creating ginac-config config.status:798: creating ginac-config.1 config.status:798: creating ginac.pc config.status:798: creating ginac/Makefile config.status:798: creating ginac/version.h config.status:798: creating check/Makefile config.status:798: creating ginsh/Makefile config.status:798: creating ginsh/ginsh.1 config.status:798: creating tools/Makefile config.status:798: creating tools/viewgar.1 config.status:798: creating doc/Makefile config.status:798: creating doc/tutorial/Makefile config.status:798: creating doc/reference/Makefile config.status:798: creating doc/reference/DoxyfileHTML config.status:798: creating doc/reference/DoxyfileTEX config.status:798: creating doc/reference/DoxyfilePDF config.status:798: creating doc/reference/Doxyfooter config.status:864: creating config.h config.status:1170: executing depfiles commands config.status:1170: executing default commands ## ---------------- ## ## Cache variables. ## ## ---------------- ## ac_cv_build=i686-pc-cygwin ac_cv_build_alias=i686-pc-cygwin ac_cv_c_compiler_gnu=yes ac_cv_cxx_compiler_gnu=yes ac_cv_env_CC_set= ac_cv_env_CC_value= ac_cv_env_CFLAGS_set= ac_cv_env_CFLAGS_value= ac_cv_env_CPPFLAGS_set= ac_cv_env_CPPFLAGS_value= ac_cv_env_CPP_set= ac_cv_env_CPP_value= ac_cv_env_CXXCPP_set= ac_cv_env_CXXCPP_value= ac_cv_env_CXXFLAGS_set= ac_cv_env_CXXFLAGS_value= ac_cv_env_CXX_set= ac_cv_env_CXX_value= ac_cv_env_F77_set= ac_cv_env_F77_value= ac_cv_env_FFLAGS_set= ac_cv_env_FFLAGS_value= ac_cv_env_LDFLAGS_set= ac_cv_env_LDFLAGS_value= ac_cv_env_build_alias_set= ac_cv_env_build_alias_value= ac_cv_env_host_alias_set= ac_cv_env_host_alias_value= ac_cv_env_target_alias_set= ac_cv_env_target_alias_value= ac_cv_exeext=.exe ac_cv_f77_compiler_gnu=yes ac_cv_func_tgetent=no ac_cv_header_algorithm=yes ac_cv_header_dlfcn_h=yes ac_cv_header_inttypes_h=yes ac_cv_header_iosfwd=yes ac_cv_header_iostream=yes ac_cv_header_limits=yes ac_cv_header_list=yes ac_cv_header_map=yes ac_cv_header_memory_h=yes ac_cv_header_readline_history_h=yes ac_cv_header_readline_readline_h=yes ac_cv_header_sstream=yes ac_cv_header_stdc=yes ac_cv_header_stdexcept=yes ac_cv_header_stdint_h=yes ac_cv_header_stdlib_h=yes ac_cv_header_string=yes ac_cv_header_string_h=yes ac_cv_header_strings_h=yes ac_cv_header_sys_stat_h=yes ac_cv_header_sys_types_h=yes ac_cv_header_typeinfo=yes ac_cv_header_unistd_h=yes ac_cv_header_vector=yes ac_cv_host=i686-pc-cygwin ac_cv_host_alias=i686-pc-cygwin ac_cv_lib_fl_yywrap=yes ac_cv_lib_ncurses_tgetent=yes ac_cv_lib_readline_readline=no ac_cv_objext=o ac_cv_path_CLN_CONFIG=/usr/local/bin/cln-config ac_cv_path_DOXYGEN= ac_cv_path_DVIPS=/usr/bin/dvips ac_cv_path_FIG2DEV=/usr/X11R6/bin/fig2dev ac_cv_path_LATEX=/usr/bin/latex ac_cv_path_MAKEINDEX=/usr/bin/makeindex ac_cv_path_PDFLATEX=/usr/bin/pdflatex ac_cv_path_install='/usr/bin/install -c' ac_cv_prog_AWK=gawk ac_cv_prog_CPP='gcc -E' ac_cv_prog_CXXCPP='g++ -E' ac_cv_prog_LEX=flex ac_cv_prog_YACC='bison -y' ac_cv_prog_ac_ct_AR=ar ac_cv_prog_ac_ct_CC=gcc ac_cv_prog_ac_ct_CXX=g++ ac_cv_prog_ac_ct_F77=g77 ac_cv_prog_ac_ct_RANLIB=ranlib ac_cv_prog_ac_ct_STRIP=strip ac_cv_prog_cc_g=yes ac_cv_prog_cc_stdc= ac_cv_prog_cxx_g=yes ac_cv_prog_egrep='grep -E' ac_cv_prog_f77_g=yes ac_cv_prog_lex_root=lex.yy ac_cv_prog_lex_yytext_pointer=yes ac_cv_prog_make_make_set=yes ac_cv_sizeof_long=4 ac_cv_sizeof_long_double=12 ac_cv_sizeof_long_long=8 ac_cv_type_long=yes ac_cv_type_long_double=yes ac_cv_type_long_long=yes am_cv_CC_dependencies_compiler_type=gcc3 am_cv_CXX_dependencies_compiler_type=gcc3 lt_cv_deplibs_check_method='file_magic ^x86 archive import|^x86 DLL' lt_cv_file_magic_cmd=func_win32_libid lt_cv_file_magic_test_file= lt_cv_ld_reload_flag=-r lt_cv_objdir=.libs lt_cv_path_LD=/usr/i686-pc-cygwin/bin/ld.exe lt_cv_path_LDCXX=/usr/i686-pc-cygwin/bin/ld.exe lt_cv_path_NM='/usr/bin/nm -B' lt_cv_path_SED=/usr/bin/sed lt_cv_prog_compiler_c_o=yes lt_cv_prog_compiler_c_o_CXX=yes lt_cv_prog_compiler_c_o_F77=yes lt_cv_prog_compiler_rtti_exceptions=no lt_cv_prog_gnu_ld=yes lt_cv_prog_gnu_ldcxx=yes lt_cv_sys_global_symbol_pipe='sed -n -e '\''s/^.*[ ]$[ABCDGIRSTW] [ABCDGIRSTW]*$[ ][ ]*$_$$[_A-Za-z][_A-Za-z0-9]*$$/\1 \2\3 \3/p'\''' lt_cv_sys_global_symbol_to_c_name_address='sed -n -e '\''s/^: $[^ ]*$ $/ {\"\1\", (lt_ptr) 0},/p'\'' -e '\''s/^[BCDEGRST] $[^ ]*$ $[^ ]*$$/ {"\2", (lt_ptr) \&\2},/p'\''' lt_cv_sys_global_symbol_to_cdecl='sed -n -e '\''s/^. .* $.*$$/extern int \1;/p'\''' lt_cv_sys_max_cmd_len=8192 lt_lt_cv_prog_compiler_c_o='"yes"' lt_lt_cv_prog_compiler_c_o_CXX='"yes"' lt_lt_cv_prog_compiler_c_o_F77='"yes"' lt_lt_cv_sys_global_symbol_pipe='"sed -n -e '\''s/^.*[ ]\$[ABCDGIRSTW] [ABCDGIRSTW]*\$[ ][ ]*\$_\$\$[_A-Za-z][_A-Za-z0-9]*\$\$/\\1 \\2 \\3 \\3/p'\''"' lt_lt_cv_sys_global_symbol_to_c_name_address='"sed -n -e '\''s/^: \$[^ ]*\$ \$/ {\\\"\\1\\\", (lt_ptr) 0},/p'\'' -e '\''s/^[BCDEGRST] \$[^ ]*\$ \$[^ ] *\$\$/ {\"\\2\", (lt_ptr) \\&\\2},/p'\''"' lt_lt_cv_sys_global_symbol_to_cdecl='"sed -n -e '\''s/^. .* \$.*\$\$/extern int \\1;/p'\''"' ## ----------------- ## ## Output variables. ## ## ----------------- ## ACLOCAL='${SHELL} /ginac-1.3.3/missing --run aclocal-1.9' AMDEPBACKSLASH='\' AMDEP_FALSE='#' AMDEP_TRUE='' AMTAR='${SHELL} /ginac-1.3.3/missing --run tar' AR='ar' ARCHIVE_AGE='2' ARCHIVE_VERSION='2' AUTOCONF='${SHELL} /ginac-1.3.3/missing --run autoconf' AUTOHEADER='${SHELL} /ginac-1.3.3/missing --run autoheader' AUTOMAKE='${SHELL} /ginac-1.3.3/missing --run automake-1.9' AWK='gawk' CC='gcc' CCDEPMODE='depmode=gcc3' CFLAGS='-g -O2' CLN_CONFIG='/usr/local/bin/cln-config' CLN_CPPFLAGS='-I/usr/local/include' CLN_LIBS='-L/usr/local/lib -lcln' CPP='gcc -E' CPPFLAGS=' -I/usr/local/include' CXX='g++' CXXCPP='g++ -E' CXXDEPMODE='depmode=gcc3' CXXFLAGS='-g -O2' CYGPATH_W='cygpath -w' DEFS='-DHAVE_CONFIG_H' DEPDIR='.deps' DOXYGEN='' DVIPS='/usr/bin/dvips' ECHO='echo' ECHO_C='' ECHO_N='-n' ECHO_T='' EGREP='grep -E' EXEEXT='.exe' F77='g77' FFLAGS='-g -O2' FIG2DEV='/usr/X11R6/bin/fig2dev' GINACLIB_CPPFLAGS=' -I/usr/local/include' GINACLIB_LIBS=' -L/usr/local/lib -lcln' GINACLIB_MAJOR_VERSION='1' GINACLIB_MICRO_VERSION='3' GINACLIB_MINOR_VERSION='3' GINACLIB_VERSION='1.3.3' GINSH_LIBS='-lncurses ' INSTALL_DATA='${INSTALL} -m 644' INSTALL_PROGRAM='${INSTALL}' INSTALL_SCRIPT='${INSTALL}' INSTALL_STRIP_PROGRAM='${SHELL} $(install_sh) -c -s' LATEX='/usr/bin/latex' LDFLAGS='' LEX='flex' LEXLIB='-lfl' LEX_OUTPUT_ROOT='lex.yy' LIBOBJS='' LIBS=' -L/usr/local/lib -lcln' LIBTERMCAP='-lncurses' LIBTOOL='$(SHELL) $(top_builddir)/libtool' LN_S='ln -s' LTLIBOBJS='' LT_RELEASE='1.3' LT_VERSION_INFO='3:0:1' MAKEINDEX='/usr/bin/makeindex' MAKEINFO='${SHELL} /ginac-1.3.3/missing --run makeinfo' OBJEXT='o' PACKAGE='ginac' PACKAGE_BUGREPORT='<ginac-list(a)ginac.de>' PACKAGE_NAME='GiNaC' PACKAGE_STRING='GiNaC 1.3.3' PACKAGE_TARNAME='ginac' PACKAGE_VERSION='1.3.3' PATH_SEPARATOR=':' PDFLATEX='/usr/bin/pdflatex' RANLIB='ranlib' SET_MAKE='' SHELL='/bin/sh' STRIP='strip' VERSION='1.3.3' YACC='bison -y' ac_ct_AR='ar' ac_ct_CC='gcc' ac_ct_CXX='g++' ac_ct_F77='g77' ac_ct_RANLIB='ranlib' ac_ct_STRIP='strip' am__fastdepCC_FALSE='#' am__fastdepCC_TRUE='' am__fastdepCXX_FALSE='#' am__fastdepCXX_TRUE='' am__include='include' am__leading_dot='.' am__quote='' am__tar='${AMTAR} chof - "$$tardir"' am__untar='${AMTAR} xf -' bindir='${exec_prefix}/bin' build='i686-pc-cygwin' build_alias='' build_cpu='i686' build_os='cygwin' build_vendor='pc' datadir='${prefix}/share' exec_prefix='${prefix}' host='i686-pc-cygwin' host_alias='' host_cpu='i686' host_os='cygwin' host_vendor='pc' includedir='${prefix}/include' infodir='${prefix}/info' install_sh='/ginac-1.3.3/install-sh' libdir='${exec_prefix}/lib' libexecdir='${exec_prefix}/libexec' localstatedir='${prefix}/var' mandir='${prefix}/man' mkdir_p='mkdir -p --' oldincludedir='/usr/include' prefix='/usr/local' program_transform_name='s,x,x,' sbindir='${exec_prefix}/sbin' sharedstatedir='${prefix}/com' sysconfdir='${prefix}/etc' target_alias='' ## ----------- ## ## confdefs.h. ## ## ----------- ## #define ARCHIVE_AGE 2 #define ARCHIVE_VERSION 2 #define HAVE_DLFCN_H 1 #define HAVE_INTTYPES_H 1 #define HAVE_MEMORY_H 1 #define HAVE_READLINE_HISTORY_H 1 #define HAVE_READLINE_READLINE_H 1 #define HAVE_STDINT_H 1 #define HAVE_STDLIB_H 1 #define HAVE_STRINGS_H 1 #define HAVE_STRING_H 1 #define HAVE_SYS_STAT_H 1 #define HAVE_SYS_TYPES_H 1 #define HAVE_UNISTD_H 1 #define HAVE_UNISTD_H 1 #define PACKAGE "ginac" #define PACKAGE_BUGREPORT "<ginac-list(a)ginac.de>" #define PACKAGE_NAME "GiNaC" #define PACKAGE_STRING "GiNaC 1.3.3" #define PACKAGE_TARNAME "ginac" #define PACKAGE_VERSION "1.3.3" #define SIZEOF_LONG 4 #define SIZEOF_LONG_DOUBLE 12 #define SIZEOF_LONG_LONG 8 #define STDC_HEADERS 1 #define VERSION "1.3.3" #define YYTEXT_POINTER 1 #endif #ifdef __cplusplus extern "C" void std::exit (int) throw (); using std::exit; configure: exit 0

2 1

problem installing ginac on windows via cygwin
by Matthew Smith 12 Dec '05

12 Dec '05

Hello all, I am trying to install ginac 1.3.3 onto a windows XP system via cygwin. For some reason when I run configure it cannot find libreadline although I have readline installed. From what I've read I suppose I must use CPPFLAGS to tell configure where readline is located but I'm not sure how to do this. Any help would be greatly appreciated. Matt Smith

2 1

build problems with ver.1.3.3
by Joerg Arndt 06 Dec '05

06 Dec '05

attached is the log of a failed build of ginac 1.3.3 gcc used is: gcc-4.1.0_20051123-3 gcc-c++-4.1.0_20051123-3 The log is virtually identical for i386, ia64, ppc, ppc64, s390, s390x, x86_64. As the problems look rather generic I'd recommend these errors and warnings be fixed in the original package (instead of producing another SuSE patch). [resent because uncompressed log is >40KB and rejected] attached is the bzip2 compressed log -- p=2^q-1 prime <== q>2, cosh(2^(q-2)*log(2+sqrt(3)))%p=0 Life is hard and then you die.

3 12

bug in reposition_dummy_indices
by varg＠theor.jinr.ru 22 Nov '05

22 Nov '05

Hello! This simple program fails: #include <iostream> #include <cassert> #include <ginac/ginac.h> using namespace std; using namespace GiNaC; int main(int argc, char** argv) { varidx mu1(symbol("mu1"), 4); varidx mu2(symbol("mu2"), 4); varidx mu3(symbol("mu3"), 4); varidx mu4(symbol("mu4"), 4); varidx mu5(symbol("mu5"), 4); varidx mu6(symbol("mu6"), 4); symbol A("A"); exvector ev2; ev2.push_back(mu3.toggle_variance()); ev2.push_back(mu6); ev2.push_back(mu5.toggle_variance()); ev2.push_back(mu6.toggle_variance()); ev2.push_back(mu5); ev2.push_back(mu3); ex test_cycl = indexed(A, sy_cycl(), ev2); test_cycl = test_cycl.simplify_indexed(); assert(test_cycl.get_free_indices().size() == 0); return 0; } The reason is that reposition_dummy_indices() (indexed.cpp:639) ignores symmetry properties of expression[s]. To be more specific, if the expression e has some symmetry properties, than the code like this (indexed.cpp:654): e = e.subs(lst( *it2 == ex_to<varidx>(*it2).toggle_variance(), ex_to<varidx>(*it2).toggle_variance() == *it2 ), subs_options::no_pattern); can yield some non-trivial permutation of indices (apart from swapping covariant and contravariant instances of some index), so subsequent manipulations become incorrect. However, I don't know how to fix this. Any ideas? -- All science is either physics or stamp collecting.

1 0

GiNaC and Geometric Algebra
by Alan Bromborsky 18 Nov '05

18 Nov '05

Considering some of the applications you are developing GiNaC for I wonder if you familiar with the book "Geometric Algebra for Physicists," by Chis Doran and Anthony Lasenby, especially with regard to the geometric algebra formulation of tensor analysis for gravitation and quantum mechanics? The geometric algebra/calculus formulation leads to simplifications and unification of several areas of mathematical physics. Question, in your representation of Clifford algebra do you use a multiplication table or a matrix representation?

2 1