Page 1 sur 1

polynomes modulaires

Publié : jeu. oct. 24, 2013 11:35 am
par frederic han
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

Re: polynomes modulaires

Publié : jeu. oct. 24, 2013 6:49 pm
par parisse
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.

Re: polynomes modulaires

Publié : jeu. oct. 24, 2013 8:08 pm
par frederic han
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

Re: polynomes modulaires

Publié : ven. oct. 25, 2013 5:12 am
par parisse
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...

Re: polynomes modulaires

Publié : dim. oct. 27, 2013 10:29 am
par parisse
Bon, j'ai rajoute quelques tests de depassement, le source .bz2 est a jour ainsi que le deb instable 64 bits.

Re: polynomes modulaires

Publié : lun. oct. 28, 2013 2:02 pm
par frederic han
Effectivement, ca a l'air de marcher.

super

a+