Changeset 40f802d in git

Timestamp:

Feb 4, 2010, 10:53:41 AM (13 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', '828514cf6e480e4bafc26df99217bf2a1ed1ef45')

Children:

42099834c4d0154ac63fda8120c1c194d59c35f6

Parents:

6c4db177774ccdc1c1ded7c80da737278e3161da

Message:

libsingular: fast_map and zero-div.

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

File:

• kernel/fast_maps.cc (modified) (3 diffs)

kernel/fast_maps.cc

@@ -453 +453 @@
   poly p=NULL;
   poly pp;
+  BOOLEAN is_const=TRUE; // to check for zero-div in p_Mult_q
   for(i=1;i<=src_r->N;i++)
   {
@@ -458 +459 @@
     if (e>0)
     {
+      is_const=FALSE;
       pp=dest_id[i-1];
       if (pp==NULL)
@@ -476 +478 @@
     }
   }
-  if (p==NULL) p=p_ISet(1,dest_r);
+  if (is_const)
+  { 
+    assume(p==NULL);
+    p=p_ISet(1,dest_r);
+  }
   return p;
 }