Changeset 0498af in git for Singular

Timestamp:

Mar 27, 1998, 3:44:27 PM (26 years ago)

Author:

Olaf Bachmann <obachman@…>

Branches:

(u'spielwiese', '2a584933abf2a2d3082034c7586d38bb6de1a30a')

Children:

a38f5eabbce750256e73c236f59000a5b9ec4c11

Parents:

cf80ceb5ad2d43154cc45f6bfc38e7f519e69373

Message:

* added spSpolyLoop.inc to repository
* algmap.cc (maAlgpolyMap): fixed bug which changed preimage
* mpsr_*: bug fixes for COMP_FAST


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

Location:

Singular

Files:

• algmap.cc (modified) (4 diffs)
• extra.cc (modified) (2 diffs)
• mpsr_GetPoly.cc (modified) (3 diffs)
• polys-impl.cc (modified) (2 diffs)
• spSpolyLoop.inc (added)

Singular/algmap.cc

@@ -2 +2 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-/* $Id: algmap.cc,v 1.8 1998-01-17 18:07:53 Singular Exp $ */
+/* $Id: algmap.cc,v 1.9 1998-03-27 14:44:23 obachman Exp $ */
 /*
 * ABSTRACT - the mapping of polynomials from rings with
@@ -204 +204 @@
   poly q, q0, q1 = NULL;
   int i;
-
+  
+  pTest(monpart);
   if (s == 0)
   {
@@ -261 +262 @@
         }
       }
+      pTest(q);
     }
     q1 = pAdd(q1, q);
+    pTest(q1);
     a0 = napNext(a0);
   }
   while (a0 != NULL);
   q1 = pMult(q1,monpart);
+  pTest(q1);
   pSetCompP(q1,pGetComp(p0));
+  pTest(q1);
   return pAdd(res, q1);
 }
@@ -315 +320 @@
     monpart = maEval((map)G, p0, R);
     result = maLongalgMap(result, p0, s, t, &nom, monpart, F);
+    pTest(result);
     if (nom)
     {
       return NULL;
     }
+    p0->next = pr;
     p0=pr;
   }
+  pTest(result);
   return result;
 }

Singular/extra.cc

@@ -2 +2 @@
 *  Computer Algebra System SINGULAR      *
 *****************************************/
-/* $Id: extra.cc,v 1.29 1998-02-27 14:06:09 Singular Exp $ */
+/* $Id: extra.cc,v 1.30 1998-03-27 14:44:24 obachman Exp $ */
 /*
 * ABSTRACT: general interface to internals of Singular ("system" command)
@@ -483 +483 @@
       {
         i1->m[k] = maAlgpolyMap(r0, i0->m[k], i, j);
+        pTest(i1->m[k]);
       }
       res->rtyp = IDEAL_CMD;

Singular/mpsr_GetPoly.cc

@@ -3 +3 @@
 ****************************************/
 
-/* $Id: mpsr_GetPoly.cc,v 1.13 1998-03-27 11:40:58 obachman Exp $ */
+/* $Id: mpsr_GetPoly.cc,v 1.14 1998-03-27 14:44:25 obachman Exp $ */
 
 /***************************************************************
@@ -389 +389 @@
   if (gNvars > 1)
   {
-    mp_failr(IMP_GetSint32Vector(link, &gTa[1], gNvars));
+    MP_Sint32_t* Ta = &gTa[1];
+    mp_failr(IMP_GetSint32Vector(link, &Ta, gNvars));
     for (i=1; i<=gNvars; i++)
       pSetExp(pp,i , (Exponent_t) gTa[i]);
@@ -399 +400 @@
       pp = pp->next;
       failr(GetCoeff(link, &(pp->coef)));
-      mp_failr(IMP_GetSint32Vector(link, &gTa[1], gNvars));
+      mp_failr(IMP_GetSint32Vector(link, &Ta, gNvars));
       for (i=1; i<=gNvars; i++)
         pSetExp(pp, i, (Exponent_t) gTa[i]);

Singular/polys-impl.cc

@@ -2 +2 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-/* $Id: polys-impl.cc,v 1.12 1998-03-23 22:51:03 obachman Exp $ */
+/* $Id: polys-impl.cc,v 1.13 1998-03-27 14:44:26 obachman Exp $ */
 
 /***************************************************************
@@ -665 +665 @@
       return FALSE;
 #endif
+    if (pGetComp(p) > 10)
+    {
+      Print("Component > 10 in poly in %s: %d\n", f,l);
+    }
 #ifdef LDEBUG
     if (!nDBTest(p->coef,f,l))