| version 1.12, 2003/10/20 00:58:47 |
version 1.13, 2004/02/09 23:37:12 |
|
|
| /* $OpenXM: OpenXM_contrib2/asir2000/lib/primdec_mod,v 1.11 2003/08/05 05:56:19 noro Exp $ */ |
/* $OpenXM: OpenXM_contrib2/asir2000/lib/primdec_mod,v 1.12 2003/10/20 00:58:47 takayama Exp $ */ |
| |
|
| extern Hom,GBTime$ |
extern Hom,GBTime$ |
| extern DIVLIST,INTIDEAL,ORIGINAL,ORIGINALDIMENSION,STOP,Trials,REM$ |
extern DIVLIST,INTIDEAL,ORIGINAL,ORIGINALDIMENSION,STOP,Trials,REM$ |
| Line 7 extern BuchbergerMinipoly,PartialDecompByLex,ParallelM |
|
| Line 7 extern BuchbergerMinipoly,PartialDecompByLex,ParallelM |
|
| extern B_Win,D_Win$ |
extern B_Win,D_Win$ |
| extern COMMONCHECK_SF,CID_SF$ |
extern COMMONCHECK_SF,CID_SF$ |
| |
|
| if (!module_definedp("fff")) load("fff") $$ |
if (!module_definedp("fff")) load("fff"); else $ |
| if (!module_definedp("gr")) load("gr") $$ |
if (!module_definedp("gr")) load("gr"); else $ |
| module primdec_mod $ |
module primdec_mod $ |
| /* Empty for now. It will be used in a future. */ |
/* Empty for now. It will be used in a future. */ |
| endmodule $ |
endmodule $ |
![[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