J'ai un pb probablement de depassement?
(en mode maple)
P:=x^(2^30)-x
Q:=x^2-x
Gcd(P,Q) mod 2
fait planter xcas avec pleins de
*** segmentation fault: bug in PARI or calling program.
*** segmentation fault: bug in PARI or calling program.
*** segmentation fault: bug in PARI or calling program.
*** segmentation fault: bug in PARI or calling program.
*** segmentation fault: bug in PARI or calling program.
et
P:=x^(2^32)-x
Q:=x^2-x
Gcd(P,Q) mod 2
ne fait plus planter xcas mais retourne 1 immediatement.
a la limite, c'est plutot le 1 qui est plus genant que l'arret brutal?
Fred
Pb depassement?
Modérateur : xcasadmin
-
- Messages : 1139
- Inscription : dim. mai 20, 2007 7:09 am
- Localisation : Paris
- Contact :
Oui, c'est un probleme de depassement. Les exposants des polynomes sont stockes sur des entiers signes 16 ou 32 bits selon la version de xcas et il n'y a effectivement a l'heure actuelle pas de detection d'overflow. Il faut donc imperativement construire x^(2^n) mod x^2-x,2 avec powermod.
De toutes facons, meme en l'absence de depassement, le cout de calcul serait prohibitif, car la 1ere division modulaire se ferait avec un polynome dense de 2^n+1 coefficients.
De toutes facons, meme en l'absence de depassement, le cout de calcul serait prohibitif, car la 1ere division modulaire se ferait avec un polynome dense de 2^n+1 coefficients.