- GiNaC-list - ginac.de

RE: GiNaC with gcc for win32]
by Tilman Utz 14 Aug '00

14 Aug '00

> Have just built and installed GiNaC-0.6.4 on NT4 SP5 with cygwin 1.1.4 > > cln-1.0.3 installed with prefix=/usr/local/ > GiNaC source tree /usr/local/src/GiNaC-0.6.4 > > then > CPPFLAGS=-I/usr/local/include > export CPPFLAGS > CXXFLAGS=-I/usr/local/include > export CXXFLAGS > LDFLAGS=-L/usr/local/lib > export LDFLAGS > > mkdir /usr/local/obj/GiNaC-0.6.4 > cd /usr/local/obj/GiNaC-0.6.4 > /usr/local/src/GiNaC-0.6.4/configure > make > make check > > Maximum memory usage during "make check" is about 120 MB. PC has 128 MB > :-> > Sorry, it still won't work. I suceeded in building and installing the cln-library (although I had to switch off gmp, had to type a host in the configure command line and my small example program won't find the libraries without typing the path in the include line). Configuring GiNaC works, too (libreadline wasn't found, but I suppose that's a minor problem) but make aborts after few lines complaining about the following: tilman utz@TILMAN /usr/local/obj/GiNaC-0.6.4 $ make make all-recursive make[1]: Entering directory `/usr/local/obj/GiNaC-0.6.4' Making all in ginac make[2]: Entering directory `/usr/local/obj/GiNaC-0.6.4/ginac' make[2]: *** No rule to make target `add.h', needed by `add.lo'. Stop. make[2]: Leaving directory `/usr/local/obj/GiNaC-0.6.4/ginac' make[1]: *** [all-recursive] Error 1 make[1]: Leaving directory `/usr/local/obj/GiNaC-0.6.4' make: *** [all-recursive-am] Error 2 I don't have the slightest idea what went wrong this time. Could it be that there's a problem with the directory-structure. Another question: If I ever suceed in building and installing GiNac, too, will I be able to use the library with, let's say Visual Studio (ok, Richard B Kreckel wrote about that in his last Mail, but I didn't understand all, especially, did he refer to building the library or to compiling executables using the library). Thanks and regards Tilman - To UNSUBSCRIBE, email to ginac-list(a)ginac.de with a subject of "unsubscribe".

2 1

On GiNaC's Portability
by Richard B. Kreckel 12 Aug '00

12 Aug '00

Hi folx, Since we issued warnings all over the place that GiNaC runs with GCC's C++ compiler only, I thought it would be interesting to verify this statement. (Hi Alex! How about MS-VC++ again?) So I took the current Portland Group compiler (version 3.1-3) for Linux/ia32 and gave it a try. Since in C++ mangled names differ across compilers (as mandated by the standard) one first has to compile CLN on that. Otherwise one can't link anything together. Quite contrary to CLN's documentation, it turned out to be rather portable. The only issue (apart from some minor errors I'm going to correct for CLN-1.1) is the scheme of PROVIDE/REQUIRE macros it implements to deal with the 'static initialization order fiasco'. But since this doesn't bite you at all as long as you are building a static library only, 'configure --disable-shared' was enough! In GiNaC, the compiler found a couple of stupidities 'g++ -Wall -ansi -pedantic' never complained about. (Alex, why was 'const basic & basic::operator=(const basic &)' declared virtual? That seems to be wrong because if you override it 'const derived & derived::operator=(const derived &)' does not match.) Anyways, I'll check in the necessary changes later. To my surprise the beast really worked, apart from segfaults each time the program exits and some 'class basic_string' silliness in the compiler. The interesting question is whether this would be a great performance boost, having such an expensive 'professional' compiler. So I ran 'make check' to see the results of the suite of benchmarks. The runtimes are indeed surprising, although not quite as I had expected. Optimization was -O2 for both compilers and according to the documentation this seems to be comparable. -O2 is the highest level of the Portland Group compiler. After that, one can increase automatic inlining and other aggressive optimizations but that seems to eat enormous amounts of memory (>500MB) and tends to crash the compiler. In any case, the compilation process is 10-20 times slower than with GCC. Can you believe they ship encrypted standard library header files but when you crash the compiler and it leaves a dump it is not difficult to put the damnded pieces together? (Only to see that they miss certain things and are not too conforming to the standard.) Obscurity at its best. Duh. Okay, here are the runtimes in seconds. Machine was an Athlon/800 with "enough" memory. Please read it carefully, then light an incense and spend a minute praying to the FSF. pgCC GCC ratio 3.1-3 2.95.2 pgCC/GCC commutative expansion and substitution (25 vars) 0.08 0.01 8.00 (50 vars) 0.32 0.08 4.00 (100 vars) 1.36 0.38 3.58 (200 vars) 5.84 1.74 3.36 Laurent series expansion of Gamma (order 10) 0.26 0.06 4.33 (order 15) 1.49 0.34 4.38 (order 20) 6.73 1.62 4.15 (order 25) 26.17 6.75 3.88 determinant of univariate Vandermonde (dim 4x4) 0.006 0.002 3.00 (dim 6x6) 0.05 0.01 5.00 (dim 8x8) 0.59 0.14 4.21 (dim 10x10) 5.55 1.30 4.27 determinant of polyvariate Toeplitz (dim 5x5) 0.07 0.017 4.12 (dim 6x6) 0.36 0.09 4.00 (dim 7x7) 1.72 0.45 3.82 (dim 8x8) 7.46 2.15 3.47 Lewis-Wester test A (divide factorials) 0.26 0.11 2.36 Lewis-Wester test B (sum of rational numbers) 0.04 0.014 2.86 Lewis-Wester test C (gcd of big integers) 1.10 0.13 8.46 Lewis-Wester test D (sum of rational fcns) 0.0022 0.0004 5.50 Lewis-Wester test E (sum of rational fcns) 0.0023 0.0004 5.75 Lewis-Wester test F (gcd of 2-var polys) 0.082 0.043 1.91 Lewis-Wester test G (gcd of 3-var polys) 2.87 1.68 1.71 Lewis-Wester test H (det of 80x80 Hilbert) 19.46 4.99 3.88 Lewis-Wester test I (invert rank 40 Hilbert) 7.61 2.01 3.79 Lewis-Wester test J (check rank 40 Hilbert) 3.93 0.90 4.37 Lewis-Wester test K (invert rank 70 Hilbert) 44.92 12.39 3.63 Lewis-Wester test L (check rank 70 Hilbert) 22.01 5.44 4.05 Lewis-Wester test M1 (26x26 sparse, det) 0.77 0.24 3.21 Lewis-Wester test O1 (three 15x15 dets, average) 111.95 39.23 2.85 Lewis-Wester test P (det of sparse rank 101) 9.14 3.12 2.93 Lewis-Wester test P' (det of less sparse rank 101) 17.88 5.16 3.47 Lewis-Wester test Q (charpoly(P)) 258.23 80.47 3.21 Lewis-Wester test Q' (charpoly(P')) 521.26 161.33 3.23 Peace, love and free software -richy. -- Richard B. Kreckel <Richard.Kreckel(a)Uni-Mainz.DE> <http://wwwthep.physik.uni-mainz.de/~kreckel/> - To UNSUBSCRIBE, email to ginac-list(a)ginac.de with a subject of "unsubscribe".

1 0

RE: GiNaC with gcc for win32
by Billinghurst, David (CRTS) 11 Aug '00

11 Aug '00

Have just built and installed GiNaC-0.6.4 on NT4 SP5 with cygwin 1.1.4 cln-1.0.3 installed with prefix=/usr/local/ GiNaC source tree /usr/local/src/GiNaC-0.6.4 then CPPFLAGS=-I/usr/local/include export CPPFLAGS CXXFLAGS=-I/usr/local/include export CXXFLAGS LDFLAGS=-L/usr/local/lib export LDFLAGS mkdir /usr/local/obj/GiNaC-0.6.4 cd /usr/local/obj/GiNaC-0.6.4 /usr/local/src/GiNaC-0.6.4/configure make make check Maximum memory usage during "make check" is about 120 MB. PC has 128 MB :-> > -----Original Message----- > From: Billinghurst, David (CRTS) > Sent: Thursday, 10 August 2000 9:46 > To: 'ginac-list(a)zino.Physik.Uni-Mainz.DE' > Subject: RE: GiNaC with gcc for win32 > > GiNaC and cln build out of the box with little (or no) problem on NT4 SP5 > using recent cygwin. One of the tests fails occasionally. May be lack of > memory - 128 MB doesn't seem enough these days. My laptop is at home, so > I > don't have the details. Let me know if you have any problems > > +++++++++++++++++++++++++++++++++++++++++ > (Mr) David Billinghurst > Comalco Research Centre > PO Box 316, Thomastown, Vic, Australia, 3074 > Phone: +61 3 9469 0642 > FAX: +61 3 9462 2700 > Email: David.Billinghurst(a)riotinto.com > > > > > > > -----Original Message----- > > From: Tilman Utz [SMTP:Tilman.Utz@studserv.uni-stuttgart.de] > > Sent: Wednesday, 9 August 2000 17:00 > > To: ginac-list(a)zino.Physik.Uni-Mainz.DE > > Subject: GiNaC with gcc for win32 > > > > Hello all, > > Is it possible to build the GiNaC and cln libraries to libraries which > > can be used for win32 applications? > > I read in the FAQ that it should work with the cygwin package, but as I > > am a newbie on this topic I don't really know how to proceed, e.g. do I > > have to change the makefiles of the cln or GiNaC package. > > Thanks to everyone who is able to answer this maybe trivial question > > Tilman > > > > > > - > > To UNSUBSCRIBE, email to ginac-list(a)ginac.de with a subject of > > "unsubscribe". > - > To UNSUBSCRIBE, email to ginac-list(a)ginac.de with a subject of > "unsubscribe". - To UNSUBSCRIBE, email to ginac-list(a)ginac.de with a subject of "unsubscribe".

1 0

GiNaC 0.6.4 is on the wire.
by Richard B. Kreckel 10 Aug '00

10 Aug '00

Hello, folx! I justed tagged GiNaC 0.6.4 and uploaded it to the usual places. No new functionality was introduced. During the last weeks we ran the complete check-suite thousands of times and were somewhat surprised to find a couple of nasty bugs. Those have been killed and now the check-suite doesn't seem to find any more. Until somebody decides to re-introduce them... Here is the entry from the NEWS file: * Complete revamp of methods in class matrix. Some redundant (and poor) implementations of elimination schemes were thrown out. The code is now highly orthogonal, more flexible and much more efficient. * Some long standing and quite nasty bugs were discovered and fixed in the following functions: add::normal(), heur_gcd(), sr_gcd() and Order_eval() (thanks to Bernard Parisse). Enjoy -richy. -- Richard B. Kreckel <kreckel(a)ginac.de> <http://www.ginac.de/~kreckel/> - To UNSUBSCRIBE, email to ginac-list(a)ginac.de with a subject of "unsubscribe".

1 0

RE: GiNaC with gcc for win32
by Billinghurst, David (CRTS) 10 Aug '00

10 Aug '00

GiNaC and cln build out of the box with little (or no) problem on NT4 SP5 using recent cygwin. One of the tests fails occasionally. May be lack of memory - 128 MB doesn't seem enough these days. My laptop is at home, so I don't have the details. Let me know if you have any problems +++++++++++++++++++++++++++++++++++++++++ (Mr) David Billinghurst Comalco Research Centre PO Box 316, Thomastown, Vic, Australia, 3074 Phone: +61 3 9469 0642 FAX: +61 3 9462 2700 Email: David.Billinghurst(a)riotinto.com > -----Original Message----- > From: Tilman Utz [SMTP:Tilman.Utz@studserv.uni-stuttgart.de] > Sent: Wednesday, 9 August 2000 17:00 > To: ginac-list(a)zino.Physik.Uni-Mainz.DE > Subject: GiNaC with gcc for win32 > > Hello all, > Is it possible to build the GiNaC and cln libraries to libraries which > can be used for win32 applications? > I read in the FAQ that it should work with the cygwin package, but as I > am a newbie on this topic I don't really know how to proceed, e.g. do I > have to change the makefiles of the cln or GiNaC package. > Thanks to everyone who is able to answer this maybe trivial question > Tilman > > > - > To UNSUBSCRIBE, email to ginac-list(a)ginac.de with a subject of > "unsubscribe". - To UNSUBSCRIBE, email to ginac-list(a)ginac.de with a subject of "unsubscribe".

1 0

GiNaC with gcc for win32
by Tilman Utz 09 Aug '00

09 Aug '00

Hello all, Is it possible to build the GiNaC and cln libraries to libraries which can be used for win32 applications? I read in the FAQ that it should work with the cygwin package, but as I am a newbie on this topic I don't really know how to proceed, e.g. do I have to change the makefiles of the cln or GiNaC package. Thanks to everyone who is able to answer this maybe trivial question Tilman - To UNSUBSCRIBE, email to ginac-list(a)ginac.de with a subject of "unsubscribe".

1 0

RE: Since GiNaC 0.6.2 silently slipped by...
by Billinghurst, David (CRTS) 27 Jul '00

27 Jul '00

GiNaC 0.6.3 successfully built and checked on cygwin 1.1.2. Thanks for putting in my, or similar, patches to make it work out of the box. +++++++++++++++++++++++++++++++++++++++++ (Mr) David Billinghurst Comalco Research Centre PO Box 316, Thomastown, Vic, Australia, 3074 Phone: +61 3 9469 0642 FAX: +61 3 9462 2700 Email: David.Billinghurst(a)riotinto.com - To UNSUBSCRIBE, email to ginac-list(a)ginac.de with a subject of "unsubscribe".

1 0

Since GiNaC 0.6.2 silently slipped by...
by Richard B. Kreckel 26 Jul '00

26 Jul '00

...here is GiNaC 0.6.3. You may download it from the usual ftp-site. We also provide read-only access through anonymous CVS now! You may set up your local copy somehow like this: $ cvs -d :pserver:anoncvs@cvsthep.physik.uni-mainz.de:/home/cvs login enter the password `anoncvs' $ cvs -d :pserver:anoncvs@cvsthep.physik.uni-mainz.de:/home/cvs -z 9 co GiNaC and later keep up-to-date by simply saying 'cvs update' in your GiNaC directory. Here is what's new in version 0.6.3 (0.6.2 only brought changes related to GiNaC-cint): 1 Derivatives are now assembled in a slightly different manner (i.e. they might 'look' different on first sight). Under certain circumstances this can result in a dramatic speedup because it gives hashing a better chance, especially when computing higher derivatives. 2 Some series expansions of built-in functions have been reengineered. 3 The algorithm for computing determinants can be chosen by the user. See ginac/flags.h and ginac/matrix.h. 4 The Dilogarithm (Li2) now has floating point evaluation, derivative and a proper series expansion. 5 Namespace 'std' cleanly disentangled, as demanded by ISO/EIC 14882-1998(E). 6 Some minor bugfixes, one major lsolve()-bugfix and documentation updates. Item 5 should facilitate a transition to GCC3 once the first beta versions become available. The current status of that project is too fragile to give it a real test. Note also, that Cint 5.14.44 (the current release) seems to be rather broken. For those interested in GiNaC-Cint: please use release 5.14.41, i.e. the 'previous' one, to be found on our FTP-server. And no, there were no releases in between, sigh. Sex and drugs and algebra -richy. -- Richard B. Kreckel <kreckel(a)ginac.de> <http://www.ginac.de/~kreckel/> - To UNSUBSCRIBE, email to ginac-list(a)ginac.de with a subject of "unsubscribe".

1 0

no rule to make target cl_N_err_d0.lo
by er-chan 20 Jul '00

20 Jul '00

I wish to run GiNaC to simplify some very complicated algebraic expressions(Bessel, Legendre,etc. polynomials) and evaluate them, and in order to do that I must first compile cln-1.0.3.tar.gz I am in difficulty doing this. I don't know what the problem(s) is and I would appreciate some help. What I did was: tar -zxvf cln-1.0.3.tar.gz; cd cln-1.0.3; CC="gcc -V egcs-2.91.66" CFLAGS="-O2 -fno-exceptions" CXX="g++ -V egcs-2.91.66" CXXFLAGS="-O2 -fno-exceptions" ./compile; make -n; It stops with error 2 because No rule to make target `cl_N_err_d0.lo' needed by `libcln.la' ==================================================================== The tail of the scriptfile follows: ==================================================================== /bin/sh ../libtool --mode=compile g++ -V egcs-2.91.66 -O2 -fno-exceptions -I../include -I../include -I./vector -I./integer -I./base/digitseq -I./base/digit -Ibase -I./base -I../gmp -c ./vector/cl_SV_ringelt.cc /bin/sh ../libtool --mode=compile g++ -V egcs-2.91.66 -O2 -fno-exceptions -I../include -I../include -I./vector -I./integer -I./base/digitseq -I./base/digit -Ibase -I./base -I../gmp -c ./vector/cl_SV_ringelt_debug.cc make SUBDIR=vector/output make[3]: Entering directory `/home/er-chan/cln-1.0.3/src' /bin/sh ../libtool --mode=compile g++ -V egcs-2.91.66 -O2 -fno-exceptions -I../include -I../include -I./vector -I./integer -I./base/digitseq -I./base/digit -Ibase -I./base -I../gmp -c ./vector/output/cl_GV_number_aprint.cc /bin/sh ../libtool --mode=compile g++ -V egcs-2.91.66 -O2 -fno-exceptions -I../include -I../include -I./vector -I./integer -I./base/digitseq -I./base/digit -Ibase -I./base -I../gmp -c ./vector/output/cl_SV_aprint.cc /bin/sh ../libtool --mode=compile g++ -V egcs-2.91.66 -O2 -fno-exceptions -I../include -I../include -I./vector -I./integer -I./base/digitseq -I./base/digit -Ibase -I./base -I../gmp -c ./vector/output/cl_SV_number_aprint.cc make[3]: Leaving directory `/home/er-chan/cln-1.0.3/src' make[2]: Leaving directory `/home/er-chan/cln-1.0.3/src' make[1]: *** No rule to make target `cl_N_err_d0.lo', needed by `libcln.la'. Stop. make[1]: Leaving directory `/home/er-chan/cln-1.0.3/src' make: *** [all] Error 2 [er-chan@abs cln-1.0.3]$ exit Script done on Wed Jul 19 23:06:07 2000 ============================================================== The head of the scriptfile follows: =============================================================== Script started on Wed Jul 19 22:51:58 2000 [er-chan@abs er-chan]$ date Wed Jul 19 22:52:02 PDT 2000 [er-chan@abs er-chan]$ cd cln-1.0.3 [er-chan@abs cln-1.0.3]$ "CC CC="gcc -V egcs-2.91.66" CFLAGS="-O2 -fno-exceptions" CXX="g++ -V egcs-2.91.66" CXXFLAGS="-O2 -fno-exceptions" ./configure creating cache ./config.cache checking whether make sets $(MAKE)... yes checking for gcc... gcc -V egcs-2.91.66 checking whether the C compiler (gcc -V egcs-2.91.66 -O2 -fno-exceptions ) works... yes checking whether the C compiler (gcc -V egcs-2.91.66 -O2 -fno-exceptions ) is a cross-compiler... no checking whether we are using GNU C... yes checking how to run the C preprocessor... gcc -V egcs-2.91.66 -E -w checking for c++... g++ -V egcs-2.91.66 checking whether the C++ compiler (g++ -V egcs-2.91.66 -O2 -fno-exceptions ) works... yes checking whether the C++ compiler (g++ -V egcs-2.91.66 -O2 -fno-exceptions ) is a cross-compiler... no checking whether we are using GNU C++... yes checking how to run the C++ preprocessor... g++ -V egcs-2.91.66 -E checking for underscore in external names... no checking for ranlib... ranlib checking for a BSD compatible install... cp checking host system type... i486-pc-linuxlibc6 checking for ld used by GCC... /usr/bin/ld checking if the linker (/usr/bin/ld) is GNU ld... yes checking for BSD-compatible nm... /usr/bin/nm -B checking whether ln -s works... yes checking for gcc option to produce PIC... -fPIC checking if gcc PIC flag -fPIC works... yes checking if gcc static flag -static works... -static checking if the linker (/usr/bin/ld) is GNU ld... yes checking whether the linker (/usr/bin/ld) supports shared libraries... yes checking command to parse /usr/bin/nm -B output... yes checking how to hardcode library paths into programs... immediate checking for /usr/bin/ld option to produce relocatable object files... -r checking dynamic linker characteristics... Linux ld.so checking if libtool supports shared libraries... yes checking whether to build shared libraries... no checking whether to build static libraries... yes checking for objdir... .libs creating libtool checking for bool type... yes checking for long long type... yes checking for long double type... yes checking for working template<>... yes checking for the global constructors function prefix... _GLOBAL_.I. checking whether the global constructors function need to be exported... yes checking for unistd.h... yes checking for working alloca.h... yes checking for alloca... yes checking for fpu_control_t... yes checking for __setfpucw... yes checking for gettimeofday... yes checking for gettimeofday declaration... extern int gettimeofday (struct timeval *, struct timezone *); checking for ftime... yes checking for sys/resource.h... yes checking for sys/times.h... yes checking for getrusage... yes checking for getrusage declaration... extern int getrusage (enum __rusage_who, struct rusage *); checking for perror declaration... yes checking whether characters are unsigned... no checking for integer types and behaviour creating include/cl_intparam.h checking for floating-point types and behaviour creating include/cl_floatparam.h updating cache ./config.cache creating ./config.status creating Makefile creating src/Makefile creating tests/Makefile creating benchmarks/Makefile creating examples/Makefile creating doc/Makefile creating include/cl_config.h creating src/base/cl_base_config.h creating src/base/cl_gmpconfig.h creating src/float/cl_float_config.h creating src/timing/cl_t_config.h configuring in gmp running /bin/sh ./configure --cache-file=../config.cache --srcdir=. Configuring for a i486-pc-linuxlibc6 host. Created "Makefile" in /home/er-chan/cln-1.0.3/gmp using "config/mt-linux" [er-chan@abs cln-1.0.3]$ make -n if test -f gmp/Makefile; then cd gmp && make mpn/libmpn.la mp_clz_tab.lo CC='gcc -V egcs-2.91.66' CFLAGS='-O2 -fno-exceptions' LIBTOOL=../libtool; fi make[1]: Entering directory `/home/er-chan/cln-1.0.3/gmp' cd mpn && make "CC=gcc -V egcs-2.91.66" "CFLAGS=-O2 -fno-exceptions" "XCFLAGS=" LIBTOOL=../../libtool libmpn.la make[2]: Entering directory `/home/er-chan/cln-1.0.3/gmp/mpn' ../../libtool --mode=compile gcc -V egcs-2.91.66 -c -I. -I.. -I. -I./.. -O2 -fno-exceptions mp_bases.c ../../libtool --mode=compile gcc -V egcs-2.91.66 -c -I. -I.. -I. -I./.. -O2 -fno-exceptions inlines.c gcc -V egcs-2.91.66 -E -I. -I.. -I. -I./.. -O2 -fno-exceptions add_n.S | grep -v '^#' >tmp-add_n.s ===================================================================== ======================================================================= This is on a RedHat 6.1 linux 486 machine. Should I switch to Slackware 7.1 or Debian? Thanks for any help. ===================================================================== _,--------, .-. \ o / (_er-chan |(- at scn.org \ / ((_)) | _| `----\--\' _-_ | at usa.net / \ \o _\__\---'---`---.___ /o\ ___.---'---`---.___ ( \ - To UNSUBSCRIBE, email to ginac-list(a)ginac.de with a subject of "unsubscribe".

2 1

unique expressions
by Ben Sapp 30 Jun '00

30 Jun '00

How can I make an expresion unique? That is, I want it to copy the thing it references not just increment the reference. I envision something like the following pseudocode: symbol x("x"); ex a = pow(x,2)+2*x+1; ex b = a; // make b reference the same thing as a b.make_unique(); // make a new copy of a and reference it with b. Thanks. -- Ben Sapp Los Alamos National Laboratory email: <mailto:bsapp@lanl.gov> Phone: (505)667-3277 Fax: (505)665-7920 URL: http://www.neutrino.lanl.gov/ -- - To UNSUBSCRIBE, email to ginac-list(a)ginac.de with a subject of "unsubscribe".

2 2