| version 1.32, 2004/02/14 18:28:39 |
version 1.33, 2004/02/29 13:20:47 |
| Line 455 def checktd(PolyList,Vars,ResVars){ |
|
| Line 455 def checktd(PolyList,Vars,ResVars){ |
|
| return 1$ |
return 1$ |
| } |
} |
| |
|
| def value2(Vars,Ans){ |
def value2(Vars,Ans,Ba){ |
| |
|
| N=length(Vars)$ |
N=length(Vars)$ |
| Res=newvect(N)$ |
Res=newvect(N)$ |
| for(I=0;I<N;I++){ |
for(I=0;I<N;I++){ |
| Res[I]=newvect(2)$ |
Res[I]=newvect(2)$ |
| Res[I][0]=Vars[I]$ |
Res[I][0]=Vars[I]$ |
| Res[I][1]=Ans[I]$ |
Res[I][1]=Ba*Ans[I]$ |
| } |
} |
| Res=map(vtol,Res)$ |
Res=map(vtol,Res)$ |
| Res=vtol(Res)$ |
Res=vtol(Res)$ |
| Line 524 def qcheck(PolyList,Vars,FLAG){ |
|
| Line 524 def qcheck(PolyList,Vars,FLAG){ |
|
| |
|
| for(I=0;I<length(TMP0);I++) |
for(I=0;I<length(TMP0);I++) |
| TMP=map(subst,TMP,TMP0[I][0],TMP0[I][1])$ |
TMP=map(subst,TMP,TMP0[I][0],TMP0[I][1])$ |
| RET0=value2(Vars,TMP)$ |
RET0=value2(Vars,TMP,1)$ |
| if(RET0!=[]) |
if(RET0!=[]) |
| RET0=wsort(RET0,Vars,RET0,-1)$ |
RET0=wsort(RET0,Vars,RET0,-1)$ |
| } |
} |
| Line 534 def qcheck(PolyList,Vars,FLAG){ |
|
| Line 534 def qcheck(PolyList,Vars,FLAG){ |
|
| |
|
| for(I=0;I<length(TMP0);I++) |
for(I=0;I<length(TMP0);I++) |
| TMP=map(subst,TMP,TMP0[I][0],TMP0[I][1])$ |
TMP=map(subst,TMP,TMP0[I][0],TMP0[I][1])$ |
| RET0=value2(Vars,TMP)$ |
RET0=value2(Vars,TMP,-1)$ |
| |
|
| if(RET0!=[]) |
if(RET0!=[]) |
| RET0=wsort(RET0,Vars,RET0,-1)$ |
RET0=wsort(RET0,Vars,RET0,-1)$ |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to weight CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM_contrib2 / asir2000 / lib