polynomes modulaires

Bugs

Modérateur : xcasadmin

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

polynomes modulaires

Message par frederic han » jeu. oct. 24, 2013 11:35 am

J'ai un probleme:

Code : Tout sélectionner

(x^(3^10)-x) % 3
donne

Code : Tout sélectionner

x*-1+1/x^6487
et donc par exemple les pgcd avec ce polynomes sont faux

(toute version: Ex 0.9.5 et 1.1.0-19)
a+
Fred

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

Re: polynomes modulaires

Message par parisse » jeu. oct. 24, 2013 6:49 pm

Je ne crois pas pouvoir y faire quoi que ce soit, parce que les exposants sont stockés dans des short int, du coup dès qu'on dépasse 32767 c'est cuit.
Il ne te reste donc que la solution de faire powmod modulo 3 et le polynome avec lequel tu veux faire le pgcd, en plus ce sera le plus efficace.

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

Re: polynomes modulaires

Message par frederic han » jeu. oct. 24, 2013 8:08 pm

Le probleme c'est plutot qu'il n'y a pas de message d'erreur, car il repond assez rapidement un pgcd faux.
Avec un message d'erreur on chercherait tout de suite une meilleure solution.

Fred

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

Re: polynomes modulaires

Message par parisse » ven. oct. 25, 2013 5:12 am

Peut-etre que je peux afficher une erreur pour le * des polynomes, mais ce serait uniquement dans la console, donc non visible de manière évidente dans xcas. Ou alors il faut que je gère ça en renvoyant un undef, ou bien en mettant ctrl_c à true...

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

Re: polynomes modulaires

Message par parisse » dim. oct. 27, 2013 10:29 am

Bon, j'ai rajoute quelques tests de depassement, le source .bz2 est a jour ainsi que le deb instable 64 bits.

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

Re: polynomes modulaires

Message par frederic han » lun. oct. 28, 2013 2:02 pm

Effectivement, ca a l'air de marcher.

super

a+

Répondre