[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.12 and 1.15

version 1.12, 2003/10/20 00:58:47 version 1.15, 2006/02/24 01:15:56
Line 1 
Line 1 
 /* $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.14 2004/07/30 02:24:11 noro 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 $
Line 1974  def contraction(P,V,W)
Line 1974  def contraction(P,V,W)
         /* This procedure is called by zeroprimedecomposition.  */          /* This procedure is called by zeroprimedecomposition.  */
         /* So, P is supposed to be a GB w.r.t. DRL.             */          /* So, P is supposed to be a GB w.r.t. DRL.             */
   
           Ord0 = dp_ord();
         Ord=0;          Ord=0;
         YSet=setminus(W,V);          YSet=setminus(W,V);
   
         Ord1 = [[Ord,length(V)],[0,length(YSet)]];          Ord1 = [[Ord,length(V)],[0,length(YSet)]];
         GP1 = dp_gr_f_main(P,W,Hom,Ord1);          W1 = append(V,YSet);
           GP1 = dp_gr_f_main(P,W1,Hom,Ord1);
   
         Factor = extcont_factor(GP1,V,Ord);          Factor = extcont_factor(GP1,V,Ord);
         for ( F = 1, T = Factor; T != []; T = cdr(T) )          for ( F = 1, T = Factor; T != []; T = cdr(T) )
Line 1990  def contraction(P,V,W)
Line 1992  def contraction(P,V,W)
         for ( T = G; T != []; T = cdr(T) )          for ( T = G; T != []; T = cdr(T) )
                 if ( !member(Vt,vars(car(T))) )                  if ( !member(Vt,vars(car(T))) )
                         R = cons(car(T),R);                          R = cons(car(T),R);
           dp_ord(Ord0);
         return [R,F];          return [R,F];
         }          }
   

Legend:
Removed from v.1.12  
changed lines
  Added in v.1.15

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>