| version 1.14, 2004/07/30 02:24:11 |
version 1.15, 2006/02/24 01:15:56 |
|
|
| /* $OpenXM: OpenXM_contrib2/asir2000/lib/primdec_mod,v 1.13 2004/02/09 23:37:12 noro Exp $ */ |
/* $OpenXM: OpenXM_contrib2/asir2000/lib/primdec_mod,v 1.14 2004/07/30 02:24:11 noro Exp $ */ |
| |
|
| extern Hom,GBTime$ |
extern Hom,GBTime$ |
| extern DIVLIST,INTIDEAL,ORIGINAL,ORIGINALDIMENSION,STOP,Trials,REM$ |
extern DIVLIST,INTIDEAL,ORIGINAL,ORIGINALDIMENSION,STOP,Trials,REM$ |
| Line 1974 def contraction(P,V,W) |
|
| Line 1974 def contraction(P,V,W) |
|
| /* This procedure is called by zeroprimedecomposition. */ |
/* This procedure is called by zeroprimedecomposition. */ |
| /* So, P is supposed to be a GB w.r.t. DRL. */ |
/* So, P is supposed to be a GB w.r.t. DRL. */ |
| |
|
| |
Ord0 = dp_ord(); |
| Ord=0; |
Ord=0; |
| YSet=setminus(W,V); |
YSet=setminus(W,V); |
| |
|
| Line 1991 def contraction(P,V,W) |
|
| Line 1992 def contraction(P,V,W) |
|
| for ( T = G; T != []; T = cdr(T) ) |
for ( T = G; T != []; T = cdr(T) ) |
| if ( !member(Vt,vars(car(T))) ) |
if ( !member(Vt,vars(car(T))) ) |
| R = cons(car(T),R); |
R = cons(car(T),R); |
| |
dp_ord(Ord0); |
| return [R,F]; |
return [R,F]; |
| } |
} |
| |
|
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to primdec_mod CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM_contrib2 / asir2000 / lib