![[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|
Return to weight CVS log | Up to [local] / OpenXM_contrib2 / asir2000 / lib |
| version 1.14, 2003/12/11 15:12:35 | version 1.15, 2004/01/06 08:38:05 | ||
|---|---|---|---|
|
|
||
| if(member(Rea[I],Vars)) | if(member(Rea[I],Vars)) | ||
| TMP=cons(Rea[I],TMP)$ | TMP=cons(Rea[I],TMP)$ | ||
| TMP=cons(ExtVars[F],TMP)$ | if(member(ExtVars[F],Vars)) | ||
| TMP=cons(ExtVars[F],TMP)$ | |||
| Res=getgcd(Res,TMP)$ | Res=getgcd(Res,TMP)$ | ||
| if(nonposdegchk(Res)){ | if(nonposdegchk(Res)){ |