Changeset 79e495 in git

Timestamp:

Sep 28, 2022, 10:40:19 AM (19 months ago)

Author:

Kwankyu Lee <ekwankyu@…>

Branches:

(u'spielwiese', '4a9821a93ffdc22a6696668bd4f6b8c9de3e6c5f')

Children:

787035145f531ce249dde09cbb3656225517b252

Parents:

5bec8f88c9ee2573d328cf7c3aff2bcb301d2395

git-author:

Kwankyu Lee <ekwankyu@gmail.com>2022-09-28 17:40:19+09:00

git-committer:

Kwankyu Lee <ekwankyu@gmail.com>2022-09-28 21:37:36+09:00

Message:

Fix for non-field base ring

File:

• kernel/maps/fast_maps.cc (modified) (4 diffs)

kernel/maps/fast_maps.cc

@@ -460 +460 @@
   poly p=NULL;
   poly pp;
-  BOOLEAN is_const=TRUE; // to check for zero-div in p_Mult_q
+  BOOLEAN is_const=TRUE; // for constant src
   for(i=1;i<=src_r->N;i++)
   {
@@ -466 +466 @@
     if (e>0)
     {
-      is_const=FALSE;
       pp=dest_id[i-1];
       if (pp==NULL)
@@ -473 +472 @@
         return NULL;
       }
-      if (/*(*/ p==NULL /*)*/) /* && (e>0)*/
-      {
+      if (p==NULL)
+      {
+        if (!is_const) // possible only when the coefficient ring is not a field
+        {
+          return NULL;
+        }
         p=p_Copy(pp /*dest_id[i-1]*/,dest_r);
         e--;
@@ -483 +486 @@
         e--;
       }
+      is_const=FALSE;
     }
   }