giac does not start - Githubissues

sagemath / sage

Main repository of SageMath

https://www.sagemath.org

Other

1.44k stars 480 forks source link

giac does not start #21860

Closed 7822f248-ba56-45f1-ab3d-4de7482bdf9f closed 7 years ago

7822f248-ba56-45f1-ab3d-4de7482bdf9f commented 8 years ago

Starting with 7.5beta2, sage seems to be unable to start giac. See giac-error.txt

Now compiling giac with --disable-lapack to avoid unwanted links with system libraries

update to giac 1.2.2-103. The new source built with spkg-source to put in upstream/ can be downloaded at: http://webusers.imj-prg.fr/~frederic.han/xcas/sage/giac-1.2.2.103.tar.bz2

CC: @frederichan-IMJPRG @sagetrac-parisse

Component: packages: optional

Keywords: giac

Author: Frederic Han

Branch: 8754023

Reviewer: Emmanuel Charpentier

Issue created by migration from https://trac.sagemath.org/ticket/21860

7822f248-ba56-45f1-ab3d-4de7482bdf9f commented 8 years ago

Attachment: giac-error.txt

Session log demonstrating that giac desn't start

7822f248-ba56-45f1-ab3d-4de7482bdf9f commented 7 years ago

Attachment: giac-1.2.2.95.log

Log file of sage -i -c giac starting from sage 7.5.beta2 + database_gap 4.8.3 + dot2tex 2.9.0p1 + fricas 1.2.7 (serial build)

7822f248-ba56-45f1-ab3d-4de7482bdf9f commented 7 years ago

comment:1

Log of a new, fresh attempt to install giac on a Corei7 + 16 GB RAM running Debian testing. giac installs fine but fails its test suite.

This is a special case : the very same package installed fine this afternoon on a smaller machine (i686 + 7 GB RAM + Debian (64 bits) testing). It might be hardware-related or a corner case.

frederichan-IMJPRG commented 7 years ago

comment:2

From your log, it looks related to this: ../src/icas: symbol lookup error: /usr/lib/libblas.so.3: undefined symbol: gotoblas

What gcc did you used to build giac?

frederichan-IMJPRG commented 7 years ago

comment:3

About your initial question with

sum(1/((x+1)*(2*x-1)),x,0,+infinity)

I can notice a change between giac 1.2.2.95 and 1.2.2.101.

about the link PB, I think that the safest solution is to build giac with lapack disabled because with my config of sage 7.5beta2 giac turned out to be linked to not only to the system libblas but also to the system liblapack. I guess that we won't lose interesting things for sage.

frederichan-IMJPRG commented 7 years ago

Branch: u/frederichan/giacblas

frederichan-IMJPRG commented 7 years ago

Last 10 new commits:

`b613d7d`	`Merge branch 'public/giacpyGB' of git://trac.sagemath.org/sage into develop`
`eb69ec5`	`Merge branch 'master' of git://trac.sagemath.org/sage into develop`
`5e4cb99`	`Merge branch 'public/giacpyGB' of git://trac.sagemath.org/sage into develop`
`d17e348`	`Merge branch 'develop' of git://trac.sagemath.org/sage into develop`
`ff5a753`	`Merge branch 'develop' of git://github.com/sagemath/sage into develop`
`3ddf1ca`	`Merge branch 'develop' of git://github.com/sagemath/sage into develop`
`b2d156f`	`Merge branch 'develop' of git://trac.sagemath.org/sage into develop`
`428ab26`	`Merge branch 'develop' of git://trac.sagemath.org/sage into develop`
`0b6ebcd`	`Merge branch 'develop' of git://github.com/sagemath/sage into develop`
`8754023`	`update giac to 1.2.2.103; --disable-lapack to avoid links toward system libs`

frederichan-IMJPRG commented 7 years ago

Commit: 8754023

frederichan-IMJPRG commented 7 years ago

Author: Frederic Han

frederichan-IMJPRG commented 7 years ago

Description changed:

--- 
+++ 
@@ -1,3 +1,7 @@
 Starting with 7.5beta2, sage seems to be unable to start giac. See giac-error.txt

+Now compiling giac with --disable-lapack to avoid unwanted links with system libraries
+
+update to giac 1.2.2-103. The new source built with spkg-source to put in upstream/ can be downloaded at:
+http://webusers.imj-prg.fr/~frederic.han/xcas/sage/giac-1.2.2.103.tar.bz2

7822f248-ba56-45f1-ab3d-4de7482bdf9f commented 7 years ago

Reviewer: charpent

7822f248-ba56-45f1-ab3d-4de7482bdf9f commented 7 years ago

comment:7

Builds OK
Passes its own testsuite
Ptestlong has three failures :

----------------------------------------------------------------------
sage -t --long --warn-long 100.3 src/sage/rings/polynomial/multi_polynomial_ideal.py  # 1 doctest failed
sage -t --long --warn-long 100.3 src/sage/matrix/matrix_space.py  # Bad exit: 2
sage -t --long --warn-long 100.3 src/sage/homology/simplicial_complex.py  # 1 doctest failed
----------------------------------------------------------------------

The latter two are transient (pass when ran standalone), the first one is permanent :

charpent@asus16-ec:/usr/local/sage-7$ sage -t --long --warn-long 100.3 src/sage/rings/polynomial/multi_polynomial_ideal.py
Running doctests with ID 2016-11-17-09-17-43-cce569e2.
Git branch: t/21860/giacblas
Using --optional=database_gap,giac,giacpy_sage,mpir,python2,sage
Doctesting 1 file.
sage -t --long --warn-long 100.3 src/sage/rings/polynomial/multi_polynomial_ideal.py
**********************************************************************
File "src/sage/rings/polynomial/multi_polynomial_ideal.py", line 3533, in sage.rings.polynomial.multi_polynomial_ideal.NCPolynomialIdeal.groebner_basis
Failed example:
    ideal(J.transformed_basis()).change_ring(P).interreduced_basis()  # optional - giacpy_sage
Expected:
    [a - 60*c^3 + 158/7*c^2 + 8/7*c - 1, b + 30*c^3 - 79/7*c^2 + 3/7*c, c^4 - 10/21*c^3 + 1/84*c^2 + 1/84*c]
Got:
    [7*a - 420*c^3 + 158*c^2 + 8*c - 7, 7*b + 210*c^3 - 79*c^2 + 3*c, 84*c^4 - 40*c^3 + c^2 + c]
**********************************************************************
1 item had failures:
   1 of  67 in sage.rings.polynomial.multi_polynomial_ideal.NCPolynomialIdeal.groebner_basis
    [723 tests, 1 failure, 9.10 s]
----------------------------------------------------------------------
sage -t --long --warn-long 100.3 src/sage/rings/polynomial/multi_polynomial_ideal.py  # 1 doctest failed
----------------------------------------------------------------------
Total time for all tests: 9.2 seconds
    cpu time: 15.5 seconds
    cumulative wall time: 9.1 seconds

The review is positve for giac, negative for giacpy_sage. Therefore :

created #21994, which depends on this ;
positive_review

rwst commented 7 years ago

comment:8

Confirm there are no errors with make ptestlong and --optional=ccache,gdb,giac,mpir,python2,sage. I didn't install/test giacpy.

7822f248-ba56-45f1-ab3d-4de7482bdf9f commented 7 years ago

comment:9

Replying to @rwst:

Confirm there are no errors with make ptestlong and --optional=ccache,gdb,giac,mpir,python2,sage. I didn't install/test giacpy.

I have installed neither ccache nor gdb. But I have database_gap.

./sage -tp 8 --optional=database_gap,giac,mpir,python2,sage -a | tee logs/ptestlong-21860V2.log

gives one failure :

----------------------------------------------------------------------
sage -t --warn-long 91.6 src/sage/homology/simplicial_complex.py  # 1 doctest failed
----------------------------------------------------------------------

which is transient :

charpent@asus16-ec:/usr/local/sage-7$ ./sage -t --warn-long 91.6 src/sage/homology/simplicial_complex.py  
Running doctests with ID 2016-11-17-12-14-36-35f0d332.
Git branch: t/21860/giacblas
Using --optional=database_gap,giac,giacpy_sage,mpir,python2,sage
Doctesting 1 file.
sage -t --warn-long 91.6 src/sage/homology/simplicial_complex.py
    [582 tests, 2.77 s]
----------------------------------------------------------------------
All tests passed!
----------------------------------------------------------------------
Total time for all tests: 2.9 seconds
    cpu time: 2.6 seconds
    cumulative wall time: 2.8 seconds

Does this answer your question ?

7822f248-ba56-45f1-ab3d-4de7482bdf9f commented 7 years ago

comment:10

One more (irrelevant ?) data point :

On another, smaller machine, rebuilding Sage while forcing the use of system's atlas/blas/lapack via a suitable SAGE_ATLAS_LIB choice allows to install and test successfully the previous version of giac and giacpy_sage.

vbraun commented 7 years ago

comment:11

Reviewer name should be a real name, not trac account name

7822f248-ba56-45f1-ab3d-4de7482bdf9f commented 7 years ago

comment:12

Wups ! Corrected.

Not the first time that happens to me... Maybe that should be hinted at in the ticket form legend ?

7822f248-ba56-45f1-ab3d-4de7482bdf9f commented 7 years ago

Changed reviewer from charpent to Emmanuel Charpentier

vbraun commented 7 years ago

Changed branch from u/frederichan/giacblas to 8754023

edd8e884-f507-429a-b577-5d554626c0fe commented 7 years ago

comment:14

Out of curiosity, will disabling lapack slow down giac ? If yes, would there be a possibility to enable it when possible ?

edd8e884-f507-429a-b577-5d554626c0fe commented 7 years ago

Changed commit from 8754023 to none

2edf2d52-6c17-4f2a-88a6-e860db4dcddf commented 7 years ago

comment:15

Disabling lapack will not slow down giac, unless you are doing approx numeric computations with large matrices (n>1000).

edd8e884-f507-429a-b577-5d554626c0fe commented 7 years ago

comment:16

Thanks fot the info. I plan to make Xcas available from Sage in the next Sage Debian Live release, this is why i was asking.