Changeset 258f63 in git for libpolys/polys/operations/p_Mult_q.cc

Timestamp:

Sep 17, 2014, 10:53:15 AM (10 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

213596e89c74915e189a3bfbd19eba8e1a8e4ffd

Parents:

9d64ac1396fb685bb6ccdd847af6a90e4787e883

Message:

fix: assumption while mult. polys over the integers

File:

• libpolys/polys/operations/p_Mult_q.cc (modified) (1 diff)

libpolys/polys/operations/p_Mult_q.cc

@@ -74 +74 @@
   pAssume1(! pHaveCommonMonoms(p, q));
 #ifdef HAVE_RINGS
-  assume(!rField_is_Ring(r));
+  assume(!rField_is_Ring(currRing) || rField_is_Domain(currRing));
 #endif
   assume(lp >= 1 && lq >= 1);