[GiNaC-list] GiNaC on MinGW : make check--test failed

Tatsuro MATSUOKA tmacchant4 at yahoo.co.jp
Wed Feb 27 07:21:36 CET 2008


Dear Alexei Sheplyakov

I have built the GiNac-1.4.1 with

export PKG_CONFIG='C:/Programs/MinGW/bin/pkg-config.exe'
export PKG_CONFIG_PATH='C:/Programs/msys/1.0/local/cln-1.2.0/lib/pkgconfig'
export LDFLAGS='-L/mingw/lib -L/GnuWin32/lib  -L/usr/local/gmp-4.2.2/lib'
export CPPFLAGS='-I/mingw/include -I/GnuWin32/include -I/usr/local/gmp-4.2.2/include'
export LIB='-lgmp'
./configure --prefix=/usr/local/ginac-1.4.1
make
make check

For the gmp 4.2.2 and the CLN-1.2.0, make check tests were successful.

However, it failed for GiNac-1.4.1. 

I also tested Ginac-1.3.7 (with CLN 1.1.10 at that time gmp not used)
(Tests for CLN was successful.)
It also failed for GiNac-1.3.7. 

Any comments?

Regards

*************Ginac --*1.4.1
GiNaC will now take an exam with specific input (like a pupils' exam):
examining several historic failures just out of paranoia................. passed
examining consistency of numeric types...... passed
examining power laws..... passed
examining consistency of symbolic functions.... passed
examining consistency of nestedsums
functions........................................................................................................................................................................................................................................................
passed
examining symbolic differentiation....... passed
examining polynomial GCD computation......... passed
examining rational function normalization..... passed
examining series expansion............. passed
examining symbolic matrix manipulations........ passed
examining linear solve...... passed
examining indexed objects........ passed
examining color objects... passed
examining clifford objects..................... passed
examining archiving system. passed
examining structure template.. passed
examining hash maps............ passed
examining miscellaneous other things........ passed
./exams.ref exams.out differ: char 37, line 1
FAIL: run_exams
GiNaC will now run through some rather costly random consistency checks:
checking consistency of numeric types.. passed
checking consistency of symbolic functions.... passed
checking symbolic matrix manipulations..... passed
checking linear solve.......... passed
./checks.ref checks.out differ: char 39, line 1
FAIL: run_checks
GiNaC will now run through some basic timings:
timing commutative expansion and substitution.... passed
        size:   100     200     400     800
        time/s: 0.94    1.3     5.8     25.
timing Laurent series expansion of Gamma function.... passed
        order:  20      25      30      35
        time/s: 1.5     4.2     14.     41.
timing determinant of univariate symbolic Vandermonde matrices.... passed
        dim:    8x8     10x10   12x12   14x14
        time/s: 0.28    1.3     12.     1.1e+002
timing determinant of polyvariate symbolic Toeplitz matrices.... passed
        dim:    7x7     8x8     9x9     10x10
        time/s: 0.72    1.8     6.4     20.
timing hash map operations.... passed
          size: 10000   50000   100000  500000
      insert/s: 0.14    0.28    1.1     2.2
        find/s: 0.015   0.13    0.23    1.3
       erase/s: 0.016   0.094   0.19    1.1
timing Lewis-Wester test A (divide factorials). passed 0.17s
timing Lewis-Wester test B (sum of rational numbers). passed 0.0092s
timing Lewis-Wester test C (gcd of big integers). passed 0.11s
timing Lewis-Wester test D (normalized sum of rational fcns). passed 0.27s
timing Lewis-Wester test E (normalized sum of rational fcns). passed 0.14s
timing Lewis-Wester test F (gcd of 2-var polys). passed 0.063s
timing Lewis-Wester test G (gcd of 3-var polys). passed 1.4s
timing Lewis-Wester test H (det of 80x80 Hilbert). passed 4.5s
timing Lewis-Wester test I (invert rank 40 Hilbert). passed 1.5s
timing Lewis-Wester test J (check rank 40 Hilbert). passed 0.72s
timing Lewis-Wester test K (invert rank 70 Hilbert). passed 9.2s
timing Lewis-Wester test L (check rank 70 Hilbert). passed 4.4s
timing Lewis-Wester test M1 (26x26 sparse, det). passed 0.30s
timing Lewis-Wester test M2 (101x101 sparse, det) disabled
timing Lewis-Wester test N (poly at rational fcns) disabled
timing Lewis-Wester test O1 (three 15x15 dets)... passed 26.s (average)
timing Lewis-Wester test O2 (Resultant) disabled
timing Lewis-Wester test P (det of sparse rank 101). passed 0.47s
timing Lewis-Wester test P' (det of less sparse rank 101). passed 2.3s
timing Lewis-Wester test Q (charpoly(P)). passed 50.s
timing Lewis-Wester test Q' (charpoly(P')). passed 1.1e+002s
timing computation of antipodes in Yukawa theory...... passed 29.s (total)
timing Fateman's polynomial expand benchmark. passed 58.s
./times.ref times.out differ: char 47, line 1
FAIL: run_times
======================================
3 of 3 tests failed
Please report to <ginac-list at ginac.de>
======================================
make[2]: *** [check-TESTS] Error 1
make[2]: Leaving directory `/home/octaves/ginac-1.4.1/check'
make[1]: *** [check-am] Error 2
make[1]: Leaving directory `/home/octaves/ginac-1.4.1/check'
make: *** [check-recursive] Error 1




**********Ginac-1.3.7
GiNaC will now take an exam with specific input (like a pupils' exam):
examining several historic failures just out of paranoia................. passed
examining consistency of numeric types...... passed
examining power laws..... passed
examining consistency of symbolic functions.... passed
examining consistency of nestedsums
functions........................................................................................................................................................................................................................................................
passed
examining symbolic differentiation....... passed
examining polynomial GCD computation......... passed
examining rational function normalization..... passed
examining series expansion............ passed
examining symbolic matrix manipulations........ passed
examining linear solve...... passed
examining indexed objects........ passed
examining color objects... passed
examining clifford objects.......... passed
examining archiving system. passed
examining structure template.. passed
examining hash maps............ passed
examining miscellaneous other things........ passed
./exams.ref exams.out differ: char 37, line 1
FAIL: run_exams
GiNaC will now run through some rather costly random consistency checks:
checking consistency of numeric types.. passed
checking consistency of symbolic functions.... passed
checking symbolic matrix manipulations..... passed
checking linear solve.......... passed
./checks.ref checks.out differ: char 39, line 1
FAIL: run_checks
GiNaC will now run through some basic timings:
timing commutative expansion and substitution.... passed
        size:   50      100     200     400
        time/s: 0.125   0.265   1.266   6.108
timing Laurent series expansion of Gamma function.... passed
        order:  10      15      20      25
        time/s: 0.219   0.217   0.953   3.515
timing determinant of univariate symbolic Vandermonde matrices.... passed
        dim:    6x6     8x8     10x10   12x12
        time/s: 0.077   0.125   1.282   11.936
timing determinant of polyvariate symbolic Toeplitz matrices.... passed
        dim:    6x6     7x7     8x8     9x9
        time/s: 0.07    0.311   1.235   4.842
timing hash map operations.... passed
          size: 10000   50000   100000  500000
      insert/s: 0.016   0.187   0.375   1.718
        find/s: 0.015   0.11    0.188   0.907
       erase/s: 0.016   0.062   0.14    0.734
timing Lewis-Wester test A (divide factorials). passed 0.085s
timing Lewis-Wester test B (sum of rational numbers). passed 0.007s
timing Lewis-Wester test C (gcd of big integers). passed 0.11s
timing Lewis-Wester test D (normalized sum of rational fcns). passed 0.265s
timing Lewis-Wester test E (normalized sum of rational fcns). passed 0.101s
timing Lewis-Wester test F (gcd of 2-var polys). passed 0.027s
timing Lewis-Wester test G (gcd of 3-var polys). passed 0.968s
timing Lewis-Wester test H (det of 80x80 Hilbert). passed 3.172s
timing Lewis-Wester test I (invert rank 40 Hilbert). passed 0.968s
timing Lewis-Wester test J (check rank 40 Hilbert). passed 0.563s
timing Lewis-Wester test K (invert rank 70 Hilbert). passed 6.297s
timing Lewis-Wester test L (check rank 70 Hilbert). passed 2.953s
timing Lewis-Wester test M1 (26x26 sparse, det). passed 0.155s
timing Lewis-Wester test M2 (101x101 sparse, det) disabled
timing Lewis-Wester test N (poly at rational fcns) disabled
timing Lewis-Wester test O1 (three 15x15 dets)... passed 24.427s (average)
timing Lewis-Wester test O2 (Resultant) disabled
timing Lewis-Wester test P (det of sparse rank 101). passed 0.531s
timing Lewis-Wester test P' (det of less sparse rank 101). passed 2.265s
timing Lewis-Wester test Q (charpoly(P)). passed 48.609s
timing Lewis-Wester test Q' (charpoly(P')). passed 96.5s
timing computation of antipodes in Yukawa theory...... passed 31.484s (total)
timing Fateman's polynomial expand benchmark. passed 95.188s
./times.ref times.out differ: char 47, line 1
FAIL: run_times
======================================
3 of 3 tests failed
Please report to <ginac-list at ginac.de>
======================================
make[3]: *** [check-TESTS] Error 1
make[3]: Leaving directory `/home/octaves/ginac-1.3.7/check'
make[2]: *** [check-am] Error 2
make[2]: Leaving directory `/home/octaves/ginac-1.3.7/check'
make[1]: *** [check-recursive] Error 1
make[1]: Leaving directory `/home/octaves/ginac-1.3.7'
make: *** [check] Error 2



--------------------------------------
Easy + Joy + Powerful = Yahoo! Bookmarks x Toolbar
http://pr.mail.yahoo.co.jp/toolbar/


More information about the GiNaC-list mailing list