Return to primdec_mod CVS log | Up to [local] / OpenXM_contrib2 / asir2000 / lib |
version 1.6, 2003/04/21 01:59:35 | version 1.8, 2003/04/21 02:02:16 | ||
---|---|---|---|
|
|
||
/* $OpenXM: OpenXM_contrib2/asir2000/lib/primdec_mod,v 1.7 2003/04/21 02:00:13 noro Exp $ */ | |||
extern Hom,GBTime$ | extern Hom,GBTime$ | ||
extern DIVLIST,INTIDEAL,ORIGINAL,ORIGINALDIMENSION,STOP,Trials,REM$ | extern DIVLIST,INTIDEAL,ORIGINAL,ORIGINALDIMENSION,STOP,Trials,REM$ | ||
extern T_GRF,T_INT,T_PD,T_MP$ | extern T_GRF,T_INT,T_PD,T_MP$ |