Changeset 25ea20d in git

Timestamp:

Apr 23, 1999, 5:22:31 PM (25 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', '4a9821a93ffdc22a6696668bd4f6b8c9de3e6c5f')

Children:

84edf45dd68d5dfd0c9d370e0392d027609b08f5

Parents:

71f6706ea153c065bbdd021bb4c72b845656104c

Message:

*hannes: fixed NULL reference if minpoly is reducible


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

Files:

• Singular/longalg.cc (modified) (6 diffs)
• Tst/Short/bug_10.res.gz.uu (added)
• Tst/Short/bug_10.stat (added)
• Tst/Short/bug_10.tst (added)

Singular/longalg.cc

@@ -2 +2 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-/* $Id: longalg.cc,v 1.31 1999-04-17 12:30:20 Singular Exp $ */
+/* $Id: longalg.cc,v 1.32 1999-04-23 15:22:25 Singular Exp $ */
 /*
 * ABSTRACT:   algebraic numbers
@@ -613 +613 @@
   if (x->e[0] >= c->e[0])
     x = napRemainder(x, c);
+  if (x==NULL)
+  {
+    goto zero_divisor;
+  }
   if (x->e[0]==0)
   {
@@ -627 +631 @@
   y = napCopy(c);
   napDivMod(y, x, &qa, &r);
+  if (r==NULL)
+  {
+    goto zero_divisor;
+  }
   if (r->e[0]==0)
   {
@@ -642 +650 @@
   x = r;
   napDivMod(y, x, &q, &r);
+  if (r==NULL)
+  {
+    goto zero_divisor;
+  }
   if (r->e[0]==0)
   {
@@ -665 +677 @@
     x = r;
     napDivMod(y, x, &qn, &r);
+    if (r==NULL)
+    {
+      break;
+    }
     if (r->e[0]==0)
     {
@@ -687 +703 @@
     qa = y;
   }
+// zero divisor found:
+zero_divisor:
+  Werror("zero divisor found - your minpoly is not irreducible");
+  return x;
 }