Changeset 7b5d0a in git for Singular/lists.cc

Timestamp:

Apr 1, 1998, 8:59:29 PM (26 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b4f17ed1d25f93d46dbe29e4b499baecc2fd51bb')

Children:

9917052fb66734c3cc2e6270ba510557c9250002

Parents:

3ebd198f5ff9a3039d51bd30067bf71868c1112b

Message:

* hannes: lists.cc: fixed bug in conversion (list<->res.):
          handling "empty" case


git-svn-id: file:///usr/local/Singular/svn/trunk@1307 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• Singular/lists.cc (modified) (2 diffs)

Singular/lists.cc

@@ -2 +2 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-/* $Id: lists.cc,v 1.5 1997-04-13 12:43:01 Singular Exp $ */
+/* $Id: lists.cc,v 1.6 1998-04-01 18:59:29 Singular Exp $ */
 /*
 * ABSTRACT: handling of the list type
@@ -195 +195 @@
 {
   lists L=(lists)Alloc0(sizeof(slists));
-  int oldlength=length;
-  while (r[length-1]==NULL) length--;
-  if (reallen<=0) reallen=pVariables;
-  reallen=max(reallen,length);
-  L->Init(reallen);
-  int i=0;
-
-  while (i<length)
-  {
-    if (r[i]!=NULL)
-    {
-      if (i==0)
-      {
-        L->m[i].rtyp=typ0;
-      }
-      else
-      {
-        L->m[i].rtyp=MODUL_CMD;
-        int rank=IDELEMS(r[i-1]);
-        if (idIs0(r[i-1]))
+  if (length<=0)
+  {
+    // handle "empty" resolutions
+    L->Init(0);
+  }
+  else
+  {
+    int oldlength=length;
+    while (r[length-1]==NULL) length--;
+    if (reallen<=0) reallen=pVariables;
+    reallen=max(reallen,length);
+    L->Init(reallen);
+    int i=0;
+  
+    while (i<length)
+    {
+      if (r[i]!=NULL)
+      {
+        if (i==0)
         {
-          idDelete(&(r[i]));
-          r[i]=idFreeModule(rank);
+          L->m[i].rtyp=typ0;
         }
         else
         {
-          r[i]->rank=max(rank,idRankFreeModule(r[i]));
+          L->m[i].rtyp=MODUL_CMD;
+          int rank=IDELEMS(r[i-1]);
+          if (idIs0(r[i-1]))
+          {
+            idDelete(&(r[i]));
+            r[i]=idFreeModule(rank);
+          }
+          else
+          {
+            r[i]->rank=max(rank,idRankFreeModule(r[i]));
+          }
+          idSkipZeroes(r[i]);
         }
-        idSkipZeroes(r[i]);
-      }
-      L->m[i].data=(void *)r[i];
-      if ((weights!=NULL) && (weights[i]!=NULL))
-      {
-        atSet((idhdl)&L->m[i],mstrdup("isHomog"),weights[i],INTVEC_CMD);
-        weights[i] = NULL;
-      }
-    }
-    else
-    {
-      // should not happen:
-      Warn("internal NULL in resolvente");
-      L->m[i].data=(void *)idInit(1,1);
-    }
-    i++;
-  }
-  Free((ADDRESS)r,oldlength*sizeof(ideal));
-  if (i==0)
-  {
-    L->m[0].rtyp=typ0;
-    L->m[0].data=(char *)idInit(1,1);
-    i=1;
-  }
-  while (i<reallen)
-  {
-    L->m[i].rtyp=MODUL_CMD;
-    ideal I=(ideal)L->m[i-1].data;
-    ideal J;
-    int rank=IDELEMS(I);
-    if (idIs0(I))
-    {
-      J=idFreeModule(rank);
-    }
-    else
-    {
-      J=idInit(1,rank);
-    }
-    L->m[i].data=(void *)J;
-    i++;
-  }
-  //Print("make res of length %d (0..%d) L:%d\n",length,length-1,L->nr);
+        L->m[i].data=(void *)r[i];
+        if ((weights!=NULL) && (weights[i]!=NULL))
+        {
+          atSet((idhdl)&L->m[i],mstrdup("isHomog"),weights[i],INTVEC_CMD);
+          weights[i] = NULL;
+        }
+      }
+      else
+      {
+        // should not happen:
+        Warn("internal NULL in resolvente");
+        L->m[i].data=(void *)idInit(1,1);
+      }
+      i++;
+    }
+    Free((ADDRESS)r,oldlength*sizeof(ideal));
+    if (i==0)
+    {
+      L->m[0].rtyp=typ0;
+      L->m[0].data=(char *)idInit(1,1);
+      i=1;
+    }
+    while (i<reallen)
+    {
+      L->m[i].rtyp=MODUL_CMD;
+      ideal I=(ideal)L->m[i-1].data;
+      ideal J;
+      int rank=IDELEMS(I);
+      if (idIs0(I))
+      {
+        J=idFreeModule(rank);
+      }
+      else
+      {
+        J=idInit(1,rank);
+      }
+      L->m[i].data=(void *)J;
+      i++;
+    }
+    //Print("make res of length %d (0..%d) L:%d\n",length,length-1,L->nr);
+  }
   return L;
 }