Changeset 7b25fe in git

Timestamp:

Jul 25, 2011, 5:40:41 PM (12 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')

Children:

1558d57b639351ad0ad10d1e5e337419bfcf21fb

Parents:

630dad1a4f9f6b630b4dcfa05851a5869b7fe25b

git-author:

Hans Schoenemann <hannes@mathematik.uni-kl.de>2011-07-25 17:40:41+02:00

git-committer:

Mohamed Barakat <mohamed.barakat@rwth-aachen.de>2011-11-09 12:53:33+01:00

Message:

fix idRankFreeModule -> id_RankFreeModule

Location:

kernel

Files:

• hutil.cc (modified) (1 diff)
• ideals.cc (modified) (13 diffs)
• syz.cc (modified) (4 diffs)
• syz0.cc (modified) (4 diffs)
• syz1.cc (modified) (6 diffs)
• syz2.cc (modified) (2 diffs)
• syz3.cc (modified) (2 diffs)
• tgb.cc (modified) (1 diff)

kernel/hutil.cc

@@ -36 +36 @@
   scfmon ex, ek;
   if (tailRing != currRing)
-    hisModule = idRankFreeModule(S, currRing, tailRing);
+    hisModule = id_RankFreeModule(S, currRing, tailRing);
   else
-    hisModule = idRankFreeModule(S);
+    hisModule = id_RankFreeModule(S,currRing);
   if (hisModule < 0)
     hisModule = 0;

kernel/ideals.cc

@@ -285 +285 @@
   assume(!idIs0(h2));
   assume(IDELEMS(h1)<=IDELEMS(h2));
-  assume(idRankFreeModule(h1)==0);
-  assume(idRankFreeModule(h2)==0);
+  assume(id_RankFreeModule(h1,currRing)==0);
+  assume(id_RankFreeModule(h2,currRing)==0);
   // add a new variable:
   int j;
@@ -351 +351 @@
 {
   int i,j,k,length;
-  int flength = idRankFreeModule(h1);
-  int slength = idRankFreeModule(h2);
+  int flength = id_RankFreeModule(h1,currRing);
+  int slength = id_RankFreeModule(h2,currRing);
   int rank=si_min(flength,slength);
   if ((idIs0(h1)) || (idIs0(h2)))  return idInit(1,rank);
@@ -500 +500 @@
     if (!idIs0(arg[i]))
     {
-      realrki=idRankFreeModule(arg[i]);
+      realrki=id_RankFreeModule(arg[i],currRing);
       k++;
       j += IDELEMS(arg[i]);
@@ -610 +610 @@
 
   if (idIs0(h1)) return NULL;
-  k = idRankFreeModule(h1);
+  k = id_RankFreeModule(h1,currRing);
   h2=idCopy(h1);
   i = IDELEMS(h2)-1;
@@ -724 +724 @@
     return result;
   }
-  int slength=(int)idRankFreeModule(h1);
-  k=si_max(1,slength /*idRankFreeModule(h1)*/);
+  int slength=(int)id_RankFreeModule(h1,currRing);
+  k=si_max(1,slength /*id_RankFreeModule(h1)*/);
 
   assume(currRing != NULL);
@@ -893 +893 @@
 ideal idLiftStd (ideal  h1, matrix* ma, tHomog hi, ideal * syz)
 {
-  int   i, j, k, t, inputIsIdeal=idRankFreeModule(h1);
+  int   i, j, k, t, inputIsIdeal=id_RankFreeModule(h1,currRing);
   poly  p=NULL, q, qq;
   intvec *w=NULL;
@@ -919 +919 @@
   BITSET save_verbose=verbose;
 
-  k=si_max(1,(int)idRankFreeModule(h1));
+  k=si_max(1,(int)id_RankFreeModule(h1,currRing));
 
   if ((k==1) && (!lift3)) verbose |=Sy_bit(V_IDLIFT);
@@ -1047 +1047 @@
 static void idPrepareStd(ideal s_temp, int k)
 {
-  int j,rk=idRankFreeModule(s_temp);
+  int j,rk=id_RankFreeModule(s_temp,currRing);
   poly p,q;
 
@@ -1081 +1081 @@
              BOOLEAN isSB, BOOLEAN divide, matrix *unit)
 {
-  int lsmod =idRankFreeModule(submod), i, j, k;
+  int lsmod =id_RankFreeModule(submod,currRing), i, j, k;
   int comps_to_add=0;
   poly p;
@@ -1125 +1125 @@
       comps_to_add--;
   }
-  k=si_max(idRankFreeModule(mod),idRankFreeModule(submod));
+  k=si_max(id_RankFreeModule(mod,currRing),id_RankFreeModule(submod,currRing));
   if  ((k!=0) && (lsmod==0)) lsmod=1;
   k=si_max(k,(int)mod->rank);
@@ -1364 +1364 @@
   int i,l,ll,k,kkk,kmax;
   int j = 0;
-  int k1 = idRankFreeModule(h1);
-  int k2 = idRankFreeModule(h2);
+  int k1 = id_RankFreeModule(h1,currRing);
+  int k2 = id_RankFreeModule(h2,currRing);
   tHomog   hom=isNotHomog;
 
@@ -2198 +2198 @@
     return idFreeModule(si_max(1,h2->ncols));
   if (!idIs0(h1))
-    flength = idRankFreeModule(h1);
-  slength = idRankFreeModule(h2);
+    flength = id_RankFreeModule(h1,currRing);
+  slength = id_RankFreeModule(h2,currRing);
   length  = si_max(flength,slength);
   if (length==0)
@@ -2509 +2509 @@
   ideal res=arg;
   if (!inPlace) res = idCopy(arg);
-  res->rank=si_max(res->rank,idRankFreeModule(res));
+  res->rank=si_max(res->rank,id_RankFreeModule(res,currRing));
   int *red_comp=(int*)omAlloc((res->rank+1)*sizeof(int));
   for (i=res->rank;i>=0;i--) red_comp[i]=i;

kernel/syz.cc

@@ -399 +399 @@
   ideal temp=NULL;
   intvec *w = NULL,**tempW;
-  int i,k,syzIndex = 0,j,rk_arg=si_max(1,(int)idRankFreeModule(arg));
+  int i,k,syzIndex = 0,j,rk_arg=si_max(1,(int)id_RankFreeModule(arg,currRing));
   int Kstd1_OldDeg=Kstd1_deg;
   BOOLEAN completeMinim;
@@ -513 +513 @@
     if (syzIndex>0)
     {
-      int rkI=idRankFreeModule(res[syzIndex]);
+      int rkI=id_RankFreeModule(res[syzIndex],currRing);
       rSetSyzComp(rkI);
     }
@@ -555 +555 @@
 //w1->show();
 //PrintLn();
-      int max_comp = idRankFreeModule(res[syzIndex]);
+      int max_comp = id_RankFreeModule(res[syzIndex],currRing);
       k = max_comp - rGetCurrSyzLimit();
       assume(w != NULL);
@@ -844 +844 @@
   PrintS("weights:");if (weights!=NULL) weights->show(); else Print("NULL"); PrintLn();
   #endif
-  int rkl=l = si_max(idRankFreeModule(res[0]),res[0]->rank);
+  int rkl=l = si_max(id_RankFreeModule(res[0],currRing),res[0]->rank);
   i = 0;
   while ((i<length) && (res[i]!=NULL))

kernel/syz0.cc

@@ -34 +34 @@
   polyset F,oldF=arg->m;
   int Fl=IDELEMS(arg);
-  int rkF=idRankFreeModule(arg);
+  int rkF=id_RankFreeModule(arg,currRing);
   int syComponentOrder=currRing->ComponentOrder;
 
@@ -207 +207 @@
     }
   }
-  rkF=idRankFreeModule(arg);
+  rkF=id_RankFreeModule(arg,currRing);
 /*----------------construction of the new ordering----------*/
   if (rkF>0)
@@ -535 +535 @@
     pairs=(polyset)omAlloc0((Fl+gencQ)*sizeof(poly));
   }
-  rkF=idRankFreeModule(arg);
+  rkF=id_RankFreeModule(arg,currRing);
   Flength = (int*)omAlloc0(Fl*sizeof(int));
   for(j=0;j<Fl;j++)
@@ -822 +822 @@
 BOOLEAN syTestOrder(ideal M)
 {
-  int i=idRankFreeModule(M);
+  int i=id_RankFreeModule(M,currRing);
   if (i == 0) return FALSE;
   int j=0;

kernel/syz1.cc

@@ -300 +300 @@
   int i,j;
 
-  if (idRankFreeModule(arg)==0)
+  if (id_RankFreeModule(arg,currRing)==0)
   {
     iv = idSort(arg);
@@ -1989 +1989 @@
         rr = syzstr->fullres;
       (*resolution)[0]
-        = si_max(1,(int)idRankFreeModule(rr[0],
+        = si_max(1,(int)id_RankFreeModule(rr[0],
                                  (syzstr->syRing != NULL ? syzstr->syRing : currRing)));
       int k=0;
@@ -2449 +2449 @@
 
   if ((idIs0(arg)) ||
-      ((idRankFreeModule(arg)>0) && (!idHomModule(arg,NULL,&(syzstr->cw)))))
+      ((id_RankFreeModule(arg,currRing)>0) && (!idHomModule(arg,NULL,&(syzstr->cw)))))
   {
     syzstr->minres = (resolvente)omAlloc0Bin(char_ptr_bin);
@@ -2503 +2503 @@
   syzstr->sev = (unsigned long **) omAlloc0((*length+1)*sizeof(unsigned long *));
   syzstr->bucket = kBucketCreate();
-  int len0=idRankFreeModule(temp)+1;
+  int len0=id_RankFreeModule(temp,currRing)+1;
 
   startdeg = actdeg;
@@ -2584 +2584 @@
 
   if ((idIs0(arg)) ||
-      ((idRankFreeModule(arg)>0) && (!idTestHomModule(arg, NULL, syzstr->cw))))
+      ((id_RankFreeModule(arg,currRing)>0) && (!idTestHomModule(arg, NULL, syzstr->cw))))
   {
     syzstr->minres = (resolvente)omAlloc0Bin(char_ptr_bin);
@@ -2651 +2651 @@
 
   syzstr->bucket = kBucketCreate();
-  int len0=idRankFreeModule(temp)+1;
+  int len0=id_RankFreeModule(temp,currRing)+1;
 
   startdeg = actdeg;

kernel/syz2.cc

@@ -972 +972 @@
   syStrategy syzstr=(syStrategy)omAlloc0(sizeof(ssyStrategy));
 
-  if ((idIs0(arg)) || (idRankFreeModule(arg)>0))
+  if ((idIs0(arg)) || (id_RankFreeModule(arg,currRing)>0))
   {
     syzstr->minres = (resolvente)omAllocBin(sip_sideal_bin);
@@ -1038 +1038 @@
     if (TEST_OPT_PROT) Print("(m%d)",index);
     if (index==0)
-      i = syInitSyzMod(syzstr,index,idRankFreeModule(arg, origR)+1);
+      i = syInitSyzMod(syzstr,index,id_RankFreeModule(arg, origR)+1);
     else
       i = syInitSyzMod(syzstr,index);

kernel/syz3.cc

@@ -1679 +1679 @@
   poly p;
   ideal result;
-  int rk_new_gens = idRankFreeModule(new_generators);
+  int rk_new_gens = id_RankFreeModule(new_generators,currRing);
   if (syzstr->res[index]==NULL)
   {
@@ -1763 +1763 @@
   short_pairs = 0;
   if (idIs0(arg)) return NULL;
-  rk_arg = idRankFreeModule(arg);
+  rk_arg = id_RankFreeModule(arg,currRing);
   syStrategy syzstr=(syStrategy)omAlloc0(sizeof(ssyStrategy));
 /*--- changes to a Cdp-ring ----------------------------*/

kernel/tgb.cc

@@ -3662 +3662 @@
   }
   //qsort(I->m, IDELEMS(I),sizeof(poly),pLmCmp_func);
-  assume (I->rank >= idRankFreeModule (I));
+  assume (I->rank >= id_RankFreeModule (I,currRing));
   return (I);
 }