giac banner should include precise version/platform

Bugs

Modérateur : xcasadmin

dimpase
Messages : 26
Inscription : mer. oct. 24, 2018 9:58 am

giac banner should include precise version/platform

Message par dimpase » ven. févr. 26, 2021 10:37 am

It is currently not possible to understand what version is giac is run from its banner,e.g.
can anyone guess what version of GIac is run here, and on which platform?
(in fact, this is 1.6.0.47 (with some local patches) on Solaris 11.4,built with gcc 10.2)

Code : Tout sélectionner

$ giac                                                                          
// Maximum number of parallel threads 96                                                                                                                            
// Giac share root-directory:/datapool/dima/Sage/sage/local/share/giac/                                           
// Giac share root-directory:/datapool/dima/Sage/sage/local/share/giac/                                                                                             
// Giac share root-directory:/datapool/dima/Sage/sage/local/share/giac/                                           
Help file /datapool/dima/Sage/sage/local/share/giac/doc/en/aide_cas not found                                                                                       
Added 26 synonyms                                                                                                 
Welcome to giac readline interface                                                                                                                                  
(c) 2001,2018 B. Parisse & others                                                                                 
Homepage http://www-fourier.ujf-grenoble.fr/~parisse/giac.html                                                                                                      
Released under the GPL license 3.0 or above                                                                       
See http://www.gnu.org for license details                                                                                                                          
May contain BSD licensed software parts (lapack, atlas, tinymt)                                                   
-------------------------------------------------                                                                                                                   
Press CTRL and D simultaneously to finish session                                                                 
Type ?commandname for help                                                                                                                                          
0>> sum(1/(1+x^2),'x=0..infinity')                                                                                
"Too many recursion levels Error: Bad Argument Value"                                                                                                               
// Time 0.01                                                           
Another question is - how to debug this? (The same example runs on Linux with gcc 9 just fine)

parisse
Messages : 5734
Inscription : mar. déc. 20, 2005 4:02 pm
Contact :

Re: giac banner should include precise version/platform

Message par parisse » ven. févr. 26, 2021 12:33 pm

I can easily add the version number (1.6.0) but I have no idea how to add the debian subversion -47.
You can debug with gdb, assuming you compiled with -g. Running

Code : Tout sélectionner

grep "Too many recursions" *.cc
will display where the message appears in the source code, then you can set breakpoints where the error is raised. Then from gdb, run

Code : Tout sélectionner

r 'sum(1/(1+x^2),x=0..infinity) '
it should stop at one of the breakpoint, and from there using f 1, f 2, etc. you can trace the calling frames. If you run gdb from the src directory of giac, the .gdbinit file defines a macro v that may be used to see the content of variables of type giac::gen.

Répondre