greduce
Publié : mer. sept. 23, 2015 8:26 am
Salut,
pourquoi me faut il 2 greduce pour avoir 0? est ce un probleme du a la facon de nommer mes variables?
pourquoi me faut il 2 greduce pour avoir 0? est ce un probleme du a la facon de nommer mes variables?
Code : Tout sélectionner
n:=2;
A:=matrix(n,n,(u,v)->a[u,v]);
B:=matrix(n,n,(u,v)->b[u,v]);
tmp:=A*B-A-B:;
I:=[seq(seq(tmp[u,v],u=0..n-1),v=0..n-1)]:;
X:=[seq(seq(a[u,v],u=0..n-1),v=0..n-1),seq(seq(b[u,v],u=0..n-1),v=0..n-1)]:;
gb:=gbasis(I,X):;
greduce(greduce((B*A-A*B)[1,1],gb),gb); // donne 0
greduce((B*A-A*B)[1,1],gb); // ne donne pas 0