Changeset 38fc181 in git

Timestamp:

Sep 8, 2011, 9:08:02 PM (12 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

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

Children:

d84a4d17668e4e3415c4e0d965053268a0e162f0

Parents:

7e6bfe4dfd3d23ed105e01efcc0429e77ab42915

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2011-09-08 21:08:02+02:00

git-committer:

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

Message:

CHG: cleanup for id[_]*TestHomModule

Files:

• kernel/ideals.cc (modified) (1 diff)
• libpolys/polys/simpleideals.cc (modified) (1 diff)

kernel/ideals.cc

@@ -2683 +2683 @@
   return result;
 }
+
+
+
+
+// uses glabl vars via pSetModDeg
+/*
+BOOLEAN idTestHomModule(ideal m, ideal Q, intvec *w)
+{
+  if ((Q!=NULL) && (!idHomIdeal(Q,NULL)))  { PrintS(" Q not hom\n"); return FALSE;}
+  if (idIs0(m)) return TRUE;
+
+  int cmax=-1;
+  int i;
+  poly p=NULL;
+  int length=IDELEMS(m);
+  poly* P=m->m;
+  for (i=length-1;i>=0;i--)
+  {
+    p=P[i];
+    if (p!=NULL) cmax=si_max(cmax,(int)pMaxComp(p)+1);
+  }
+  if (w != NULL)
+  if (w->length()+1 < cmax)
+  {
+    // Print("length: %d - %d \n", w->length(),cmax);
+    return FALSE;
+  }
+
+  if(w!=NULL)
+    p_SetModDeg(w, currRing);
+
+  for (i=length-1;i>=0;i--)
+  {
+    p=P[i];
+    poly q=p;
+    if (p!=NULL)
+    {
+      int d=p_FDeg(p,currRing);
+      loop
+      {
+        pIter(p);
+        if (p==NULL) break;
+        if (d!=p_FDeg(p,currRing))
+        {
+          //pWrite(q); wrp(p); Print(" -> %d - %d\n",d,pFDeg(p,currRing));
+          if(w!=NULL)
+            p_SetModDeg(NULL, currRing);
+          return FALSE;
+        }
+      }
+    }
+  }
+
+  if(w!=NULL)
+    p_SetModDeg(NULL, currRing);
+
+  return TRUE;
+}
+*/
+
+
+

libpolys/polys/simpleideals.cc

@@ -1428 +1428 @@
 }
 
-// uses glabl vars via pSetModDeg
-//BOOLEAN idTestHomModule(ideal m, ideal Q, intvec *w)
-//{
-//  if ((Q!=NULL) && (!idHomIdeal(Q,NULL)))  { PrintS(" Q not hom\n"); return FALSE;}
-//  if (idIs0(m)) return TRUE;
-//
-//  int cmax=-1;
-//  int i;
-//  poly p=NULL;
-//  int length=IDELEMS(m);
-//  poly* P=m->m;
-//  for (i=length-1;i>=0;i--)
-//  {
-//    p=P[i];
-//    if (p!=NULL) cmax=si_max(cmax,(int)pMaxComp(p)+1);
-//  }
-//  if (w != NULL)
-//  if (w->length()+1 < cmax)
-//  {
-//    // Print("length: %d - %d \n", w->length(),cmax);
-//    return FALSE;
-//  }
-//
-//  if(w!=NULL)
-//    pSetModDeg(w);
-//
-//  for (i=length-1;i>=0;i--)
-//  {
-//    p=P[i];
-//    poly q=p;
-//    if (p!=NULL)
-//    {
-//      int d=pFDeg(p,currRing);
-//      loop
-//      {
-//        pIter(p);
-//        if (p==NULL) break;
-//        if (d!=pFDeg(p,currRing))
-//        {
-//          //pWrite(q); wrp(p); Print(" -> %d - %d\n",d,pFDeg(p,currRing));
-//          if(w!=NULL)
-//            pSetModDeg(NULL);
-//          return FALSE;
-//        }
-//      }
-//    }
-//  }
-//
-//  if(w!=NULL)
-//    pSetModDeg(NULL);
-//
-//  return TRUE;
-//}
-
 ideal id_Jet(ideal i,int d, const ring R)
 {