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)$ |
} |
} |