Le forum de XCAS

Publié : **lun. avr. 13, 2015 8:05 am**

J'ai un probleme en algebre linaire modulaire:
(version 1.2)

M:=[[0 % 101,(9 % 101)*x_0^2*y_6+(9 % 101)*x_0*y_0*x_2+(-9 % 101)*x_0*x_1*y_3+(9 % 101)*x_0*x_1*y_7+(9 % 101)*x_2*x_1*y_1+(-9 % 101)*x_1^2*y_4],[(-9 % 101)*x_0^2*y_6+(-9 % 101)*x_0*y_0*x_2+(9 % 101)*x_0*x_1*y_3+(-9 % 101)*x_0*x_1*y_7+(-9 % 101)*x_2*x_1*y_1+(9 % 101)*x_1^2*y_4,0 % 101]];
rank(M);

donne:
"invmod Error: Bad Argument Type"

Publié : **lun. avr. 13, 2015 9:53 am**

C'est a cause du premier coefficient qui est un entier modulo 101, du coup il fait comme si toute la matrice etait dans Z/nZ. Il faut que je teste que toute la matrice est entiere, pas seulement M[0][0], en attendant tu peux gruger en faisant
M:=[[(1 % 101)*x_0+(100 % 101)*x_0,...

Pour tester correctement il faut modifier vecteur.cc, ligne 6261

Code : Tout sélectionner

 if (lidnt(a).empty() && tmp.type==_VECT && !tmp._VECTptr->empty()){

Le forum de XCAS

1.2 et modulo

1.2 et modulo

Re: 1.2 et modulo