Changeset 213596e in git

Timestamp:

Sep 17, 2014, 11:34:20 AM (9 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')

Children:

5b53cb58091cb3a67624dc9a430ac91504effa28

Parents:

258f6335e22e091c2215931d3099f5881f63f2aa

Message:

fix: bucket multiplication for domains

File:

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

kernel/maps/fast_maps.cc

@@ -437 +437 @@
 {
   // substitute the monomial: go through macoeff
-  int len=pLength(p);
+  int len;
+  BOOLEAN zero_div= (rField_is_Ring(dest_r) && !rField_is_Domain(dest_r));
   int done=0;
   while (c!=NULL)
@@ -443 +444 @@
     done++;
     poly t=pp_Mult_nn(p,c->n,dest_r);
+    #ifdef HAVE_RINGS
+    if (zero_div) len=pLength(t);
+    #endif
     sBucket_Add_p(c->bucket, t, len);
     c=c->next;