OpenXM_contrib2/asir2000/lib/primdec_mod - diff

Return to primdec_mod CVS log

Up to [local] / OpenXM_contrib2 / asir2000 / lib

version 1.3, 2003/04/20 07:50:45

version 1.4, 2003/04/20 08:54:29

Line 4 extern T_GRF,T_INT,T_PD,T_MP$

extern BuchbergerMinipoly,PartialDecompByLex,ParallelMinipoly$

extern B_Win,D_Win$

extern COMMONCHECK_SF,CID_SF$

extern FFF_LOADED_BY_PRIMDEC_MOD$

extern LIBRARY_GR_LOADED$

extern GR_LOADED_BY_PRIMDEC_MOD$

extern LIBRARY_FFF_LOADED$

if(!FFF_LOADED_BY_PRIMDEC_MOD) load("fff"); else ; FFF_LOADED_BY_PRIMDEC_MOD = 1$

if(!LIBRARY_FFF_LOADED) load("fff"); else ; LIBRARY_FFF_LOADED = 1$

if(!GR_LOADED_BY_PRIMDEC_MOD) load("gr"); else ; GR_LOADED_BY_PRIMDEC_MOD = 1$

if(!LIBRARY_GR_LOADED) load("gr"); else ; LIBRARY_GR_LOADED = 1$

/*==============================================*/

/* prime decomposition of ideals over */