version 1.38, 2004/05/18 10:03:15 |
version 1.39, 2004/05/18 14:11:09 |
Line 416 def qcheckmain(PolyList,Vars){ |
|
Line 416 def qcheckmain(PolyList,Vars){ |
|
Poly=dp_ptod(PolyList[I],Vars)$ |
Poly=dp_ptod(PolyList[I],Vars)$ |
BASE0=dp_etov(dp_ht(Poly))$ |
BASE0=dp_etov(dp_ht(Poly))$ |
Poly=dp_rest(Poly)$ |
Poly=dp_rest(Poly)$ |
for(;Poly!=0;Poly=dp_rest(Poly)){ |
for(;L!=VarsNum && Poly!=0;Poly=dp_rest(Poly)){ |
ExpMat[L]=dp_etov(dp_ht(Poly))-BASE0$ |
ExpMat[L]=dp_etov(dp_ht(Poly))-BASE0$ |
L=chkou(L,ExpMat,CHAGORD)$ |
L=chkou(L,ExpMat,CHAGORD)$ |
if(L==VarsNum-1) |
if(L==VarsNum-1) |