[BACK]Return to primdec_mod CVS log [TXT][DIR] Up to [local] / OpenXM_contrib2 / asir2000 / lib

Diff for /OpenXM_contrib2/asir2000/lib/primdec_mod between version 1.3 and 1.5

version 1.3, 2003/04/20 07:50:45 version 1.5, 2003/04/21 01:44:31
Line 4  extern T_GRF,T_INT,T_PD,T_MP$
Line 4  extern T_GRF,T_INT,T_PD,T_MP$
 extern BuchbergerMinipoly,PartialDecompByLex,ParallelMinipoly$  extern BuchbergerMinipoly,PartialDecompByLex,ParallelMinipoly$
 extern B_Win,D_Win$  extern B_Win,D_Win$
 extern COMMONCHECK_SF,CID_SF$  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          */  /*  prime decomposition of ideals over          */
Line 342  def coefficientfrobeniuskernel_main(Poly)
Line 342  def coefficientfrobeniuskernel_main(Poly)
         Vars=vars(Poly);          Vars=vars(Poly);
         QP=dp_ptod(Poly,Vars);          QP=dp_ptod(Poly,Vars);
         ANS=0;          ANS=0;
         FOrd=deg(setmod_ff()[1],x);          FOrd=deg(setmod_ff()[1],var(setmod_ff()[1]));
         Char=setmod_ff()[0];          Char=setmod_ff()[0];
         Pow=Char^(FOrd-1);          Pow=Char^(FOrd-1);
   
Line 2083  def convertsmallfield(PP,VSet,Ord)
Line 2083  def convertsmallfield(PP,VSet,Ord)
         dp_ord(Ord);          dp_ord(Ord);
         NVSet=length(VSet);          NVSet=length(VSet);
         Char=setmod_ff()[0];          Char=setmod_ff()[0];
         ExtDeg=deg(setmod_ff()[1],x);          ExtDeg=deg(setmod_ff()[1],var(setmod_ff()[1]));
   
         NewV=pg;          NewV=pgpgpgpgpgpgpg;
         MPP=map(monic_hc,PP,VSet);          MPP=map(monic_hc,PP,VSet);
         MPP=map(sfptopsfp,MPP,NewV);          MPP=map(sfptopsfp,MPP,NewV);
   
         MinPoly=subst(setmod_ff()[1],x,NewV);          MinPoly=subst(setmod_ff()[1],var(setmod_ff()[1]),NewV);
         XSet=cons(NewV,VSet);          XSet=cons(NewV,VSet);
   
         Ord1=[[0,1],[Ord,NVSet]];          Ord1=[[0,1],[Ord,NVSet]];
Line 2109  def checkgaloisorbit(PP,VSet,Ord,Flag)
Line 2109  def checkgaloisorbit(PP,VSet,Ord,Flag)
         {          {
         NPP=length(PP);          NPP=length(PP);
         TmpPP=PP;          TmpPP=PP;
         ExtDeg=deg(setmod_ff()[1],x);          ExtDeg=deg(setmod_ff()[1],var(setmod_ff()[1]));
   
         ANS=[];          ANS=[];
         BNS=[];          BNS=[];
Legend:
Removed from v.1.3  
changed lines
  Added in v.1.5
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>