=================================================================== RCS file: /home/cvs/OpenXM_contrib2/asir2000/lib/primdec_mod,v retrieving revision 1.6 retrieving revision 1.9 diff -u -p -r1.6 -r1.9 --- OpenXM_contrib2/asir2000/lib/primdec_mod 2003/04/21 01:59:35 1.6 +++ OpenXM_contrib2/asir2000/lib/primdec_mod 2003/04/24 07:54:15 1.9 @@ -1,3 +1,5 @@ +/* $OpenXM: OpenXM_contrib2/asir2000/lib/primdec_mod,v 1.8 2003/04/21 02:02:16 noro Exp $ */ + extern Hom,GBTime$ extern DIVLIST,INTIDEAL,ORIGINAL,ORIGINALDIMENSION,STOP,Trials,REM$ extern T_GRF,T_INT,T_PD,T_MP$ @@ -2090,6 +2092,10 @@ def convertsmallfield(PP,VSet,Ord) MPP=map(sfptopsfp,MPP,NewV); DefPoly=setmod_ff()[1]; + /* GF(p) case */ + if ( !DefPoly ) + return MPP; + MinPoly=subst(DefPoly,var(DefPoly),NewV); XSet=cons(NewV,VSet);