Return to primdec_mod CVS log | Up to [local] / OpenXM_contrib2 / asir2000 / lib |
version 1.6, 2003/04/21 01:59:35 | version 1.7, 2003/04/21 02:00:13 | ||
---|---|---|---|
|
|
||
$OpenXM$ | |||
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$ |