OpenXM_contrib2/asir2000/lib/primdec_mod - diff

Return to primdec_mod CVS log

Up to [local] / OpenXM_contrib2 / asir2000 / lib

version 1.6, 2003/04/21 01:59:35

version 1.9, 2003/04/24 07:54:15

Line 1

/* $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$

Line 2090 def convertsmallfield(PP,VSet,Ord)

Line 2092 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);