Return to weight CVS log | Up to [local] / OpenXM_contrib2 / asir2000 / lib |
version 1.24, 2004/01/08 14:45:05 | version 1.25, 2004/01/08 15:58:58 | ||
---|---|---|---|
|
|
||
return [Vars,E[0][1]+1]$ | return [Vars,E[0][1]+1]$ | ||
else if(fop(B[0])==11) | else if(fop(B[0])==11) | ||
return [Vars,E[0][1]-1]$ | return [Vars,E[0][1]-1]$ | ||
else if(fop(B[0])==8) | |||
return [Vars,E[0][1]]$ | |||
else | else | ||
return []$ | return []$ | ||
} | } |