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