| version 1.20, 2004/01/07 08:11:51 |
version 1.21, 2004/01/07 08:15:16 |
| Line 707 def weight(PolyList,Vars,FLAG){ |
|
| Line 707 def weight(PolyList,Vars,FLAG){ |
|
| } |
} |
| else{ |
else{ |
| TMP0=map(ltov,TMP0)$ |
TMP0=map(ltov,TMP0)$ |
| TMP0=ltov(TMP0)$ |
|
| |
|
| for(I=0;I<length(TMP0);I++) |
for(I=0;I<length(TMP0);I++) |
| if(TMP0[I][0]==3) |
if(TMP0[I][0]==3) |
| Line 716 def weight(PolyList,Vars,FLAG){ |
|
| Line 715 def weight(PolyList,Vars,FLAG){ |
|
| TMP0[I][0]=6$ |
TMP0[I][0]=6$ |
| |
|
| TMP0=map(vtol,TMP0)$ |
TMP0=map(vtol,TMP0)$ |
| TMP0=vtol(TMP0)$ |
|
| |
|
| RET=append(RET,TMP0)$ |
RET=append(RET,TMP0)$ |
| } |
} |