Changeset de47d79 in git

Timestamp:

Aug 14, 1997, 3:10:47 PM (27 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

f988c941611227e28c070493ca12772f99b9d1e7

Parents:

885a83c199da764bb3a396d45654a4bf580f00ce

Message:

* hannes: assign ideal=matrix was missing (ipassign.cc)
          gcd(0,0) ->1 (longrat.cc)


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

Location:

Singular

Files:

• LIB/all.lib (modified) (2 diffs)
• clapsing.cc (modified) (5 diffs)
• ipassign.cc (modified) (2 diffs)
• longalg.cc (modified) (4 diffs)
• longrat.cc (modified) (2 diffs)
• spolys0.cc (modified) (2 diffs)

Singular/LIB/all.lib

@@ -1 @@
-// $Id: all.lib,v 1.2 1997-06-04 19:45:25 obachman Exp $
+// $Id: all.lib,v 1.3 1997-08-14 13:10:47 Singular Exp $
 ///////////////////////////////////////////////////////////////////////////////
 
@@ -20 +20 @@
 LIB "ring.lib";
 LIB "sing.lib";
+LIB "hnoether.lib";

Singular/clapsing.cc

@@ -3 +3 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-// $Id: clapsing.cc,v 1.10 1997-07-04 13:46:43 Singular Exp $
+// $Id: clapsing.cc,v 1.11 1997-08-14 13:10:42 Singular Exp $
 /*
 * ABSTRACT: interface between Singular and factory
@@ -297 +297 @@
   {
     pSetCoeff( f, nInit( 1 ) );
-      pTest(f);
     return;
   }
@@ -305 +304 @@
     CanonicalForm g, h;
     poly p = pNext(f);
+    nTest(pGetCoeff(f));
     g = convSingTrClapP( ((lnumber)pGetCoeff(f))->z );
     L.append( g );
     while ( p && (g != 1) )
     {
+      nTest(pGetCoeff(p));
       h = convSingTrClapP( ((lnumber)pGetCoeff(p))->z );
       p = pNext( p );
@@ -318 +319 @@
       pTest(f);
       return;
-    }  
+    }
+    #ifdef LDEBUG
+    else if ( g == 0 )
+    {
+      pTest(f);
+      pWrite(f);
+      PrintS("=> gcd 0 in divide_content\n");
+      return;
+    }
+    #endif
     else
     {
@@ -327 +337 @@
         napDelete(&c->z);
         c->z=convClapPSingTr( i.getItem() / g );
+        nTest((number)c);
       }
     }

Singular/ipassign.cc

@@ -2 +2 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-/* $Id: ipassign.cc,v 1.16 1997-07-09 15:53:59 Singular Exp $ */
+/* $Id: ipassign.cc,v 1.17 1997-08-14 13:10:43 Singular Exp $ */
 
 /*
@@ -462 +462 @@
 // proc         res             arg
  {jiA_IDEAL,    IDEAL_CMD,      IDEAL_CMD }
+,{jiA_IDEAL_M,  IDEAL_CMD,      MATRIX_CMD }
 ,{jiA_RESOLUTION,RESOLUTION_CMD,RESOLUTION_CMD }
-,{jiA_IDEAL_M,  IDEAL_CMD,      MATRIX_CMD }
 ,{jiA_INT,      INT_CMD,        INT_CMD }
 ,{jiA_IDEAL,    MATRIX_CMD,     MATRIX_CMD }

Singular/longalg.cc

@@ -2 +2 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-/* $Id: longalg.cc,v 1.7 1997-06-25 07:58:08 Singular Exp $ */
+/* $Id: longalg.cc,v 1.8 1997-08-14 13:10:44 Singular Exp $ */
 /*
 * ABSTRACT:   algebraic numbers
@@ -2369 +2369 @@
     return TRUE;
 #ifdef MDEBUG
-  if (!mmDBTestBlock(a,sizeof(rnumber),f,l))
-    return FALSE;
+  mmDBTestBlock(a,sizeof(rnumber),f,l);
 #endif
   alg p = x->z;
@@ -2380 +2379 @@
   while(p!=NULL)
   {
+    if (nIsZero(p->ko))
+    {
+      Print("coeff 0 in %s:%d\n",f,l);
+      return FALSE;
+    }
     if((naMinimalPoly!=NULL)&&(p->e[0]>naMinimalPoly->e[0])
     &&(p!=naMinimalPoly))
@@ -2394 +2398 @@
       return FALSE;
 #ifdef MDEBUG
-    if (!mmDBTestBlock(p,RECA_SIZE+naNumbOfPar*sizeof(int),f,l))
-      return FALSE;
+    mmDBTestBlock(p,RECA_SIZE+naNumbOfPar*sizeof(int),f,l);
 #endif
     p = p->ne;

Singular/longrat.cc

@@ -2 +2 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-/* $Id: longrat.cc,v 1.11 1997-08-12 17:14:39 Singular Exp $ */
+/* $Id: longrat.cc,v 1.12 1997-08-14 13:10:45 Singular Exp $ */
 /*
 * ABSTRACT: computation with long rational numbers (Hubert Grassmann)
@@ -1855 +1855 @@
   if (SR_HDL(a) & SR_HDL(b) & SR_INT)
   {
-    int i=ABS(SR_TO_INT(a));
-    int j=ABS(SR_TO_INT(b));
+    int i=SR_TO_INT(a);
+    int j=SR_TO_INT(b);
+    if((i==0)||(j==0))
+      return INT_TO_SR(1);
     int l;
+    i=ABS(i);
+    j=ABS(j);
     do
     {

Singular/spolys0.cc

@@ -2 +2 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-/* $Id: spolys0.cc,v 1.4 1997-08-01 10:53:08 Singular Exp $ */
+/* $Id: spolys0.cc,v 1.5 1997-08-14 13:10:46 Singular Exp $ */
 
 /*
@@ -32 +32 @@
 {
   int c = 0;
-  number an = *a, bn = *b, cn = nGcd(an, bn);
+  number an = *a, bn = *b;
+  nTest(an);
+  nTest(bn);
+  number cn = nGcd(an, bn);
 
   if(nIsOne(cn))