petit crash gbasis

Bugs

Modérateur : xcasadmin

frederic han
Messages : 1113
Inscription : dim. mai 20, 2007 7:09 am
Localisation : Paris
Contact :

petit crash gbasis

Message par frederic han » lun. juil. 07, 2014 3:52 pm

Salut, une ou 2 fautes (oubli des K dans c2K) de frappes m'ont donne un crash:
(avec debian binaire et aussi version compilee)

Code : Tout sélectionner

k:=3; codi:=2; n:=1+ k*(codi-1);
I:=[Hp^2-Hg*Hp+c2K,c1K^2-c2K-c2Q,Hp^(n+1),Hg^(2*n-1),c2K*Hg^5,c2^3*Hg,c2^2*Hg^3];
GBI:=gbasis(I,[Hp,c1K,c2K,Hg,c2Q])
donne:

Code : Tout sélectionner

ress CTRL and D simultaneously to finish session
Type ?commandname for help
0>> k:=3; codi:=2; n:=1+ k*(codi-1);
[New Thread 0x7fffe9623700 (LWP 28810)]
[Thread 0x7fffe9623700 (LWP 28810) exited]
3,2,4
// Time 0.01
1>> I:=[Hp^2-Hg*Hp+c2K,c1K^2-c2K-c2Q,Hp^(n+1),Hg^(2*n-1),c2K*Hg^5,c2^3*Hg,c2^2*Hg^3];
[New Thread 0x7fffe9623700 (LWP 28811)]
[Hp^2-Hg*Hp+c2K,c1K^2-c2K-c2Q,Hp^5,Hg^7,c2K*Hg^5,c2^3*Hg,c2^2*Hg^3]
[Thread 0x7fffe9623700 (LWP 28811) exited]
// Time 0
2>> GBI:=gbasis(I,[Hp,c1K,c2K,Hg,c2Q])
[New Thread 0x7fffe9623700 (LWP 28812)]

Program received signal SIGSEGV, Segmentation fault.
[Switching to Thread 0x7fffe9623700 (LWP 28812)]
0x000000382614e2f7 in __memmove_ssse3_back () from /lib64/libc.so.6

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

Re: petit crash gbasis

Message par parisse » lun. juil. 07, 2014 8:32 pm

dommage, je l'ai vu trop tard pour l'update que je viens de faire (il y avait un bug dans la version un peu acceleree de resultant, j'ai laisse le numero de version en 1.1.1-14, update les binaires, mais pas le source pour l'instant).

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

Re: petit crash gbasis

Message par parisse » mar. juil. 08, 2014 6:51 am

C'etait un petit oubli

Code : Tout sélectionner

diff cocoa.cc cocoa.cc~
6154,6158c6154
<     if (N==0){
<       if (learning && f4buchberger_info)
< 	f4buchberger_info->push_back(*info_ptr);
<       return 1;
<     }
---
>     if (N==0) return 1;
Bon, il va falloir decider si on modifie la 1.1.1, il y a aussi un bug dans le resultant, peut-etre plus genant.

Répondre