modulo

Bugs

Modérateur : xcasadmin

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

modulo

Message par frederic han » jeu. juin 04, 2015 9:49 am

Salut j'ai un probleme avec les modulo:

Code : Tout sélectionner

I:=[(-42 % 101)*x0*x2+(-33 % 101)*x1*x7+(-37 % 101)*x1+(-6 %
101)*x4*x6+(-30 % 101)*x5*x7,(13 % 101)*x0*x5+(37 % 101)*x1*x3+(2 %
101)*x1*x6+(-45 % 101)*x2*x3+(32 % 101)*x5*x6,(41 % 101)*x0*x1+(-10 %
101)*x2*x6+(31 % 101)*x2+(-30 % 101)*x4*x6+(-32 % 101)*x6^2,(-21 %
101)*x1*x3+(-4 % 101)*x1+(5 % 101)*x2^2+(-49 % 101)*x3+(13 %
101)*x5^2,(5 % 101)*x0*x6+(-4 % 101)*x2^2+(-41 % 101)*x5^2+(-49 %
101)*x6+(-11 % 101)*x7,(-50 % 101)*x0*x7+(-25 % 101)*x2*x4+(-34 %
101)*x3*x6+(21 % 101)*x5^2+(16 % 101)*x5*x7,(-2 % 101)*x0*x2+(32 %
101)*x2*x6+(1 % 101)*x3*x4+(-27 % 101)*x4*x5+(-13 % 101)*x7,(24 %
101)*x0*x7+(4 % 101)*x4^2+(31 % 101)*x4*x7+(1 % 101)*x5*x7+(-31 %
101)*x7^2];
alors avec

Code : Tout sélectionner

B:=gbasis(I,[x0,x1,x2,x3,x4,x5,x6,x7]);
j'ai le probleme suivant;
B[0] est nul, et les coefficients sont dans ZZ et pas modulo 101. LA bonne reponse etant constituee de B[1] % 101 ... B[121] %101

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

Re: modulo

Message par parisse » ven. juin 05, 2015 5:32 am

je vais enlever les polynomes nuls. Pour le resultat sans %, tu as raison ce n'est pas coherent, mais ce n'est pas specifique a cet ideal, et ca va alourdir enormement le resultat, du coup je me dis qu'il vaut peut-etre mieux laisser les coefficients dans Z et laisser l'utilisateur faire lui-meme un % p s'il le souhaite. De toutes facons, les utilisateurs qui vont appeler gbasis avec des coeffs modulaires ne sont pas legions, il suffirait d'indiquer dans la doc que gbasis releve les coefficients dans Z ?

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

Re: modulo

Message par frederic han » ven. juin 05, 2015 8:19 am

probablement,
mais il faut bien signaler que le calcul a ete fait sur le corps engendre par les coefficients, ca clarifie aussi la question entre ZZ et QQ.

Répondre