Changeset 98b2b91 in git for libpolys/polys/monomials/p_polys.h

Timestamp:

Nov 5, 2012, 5:52:41 PM (11 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')

Children:

8179468681094498b31a9df090d0e386f97ee401

Parents:

a99f8c2fe4c75edfe0049c78f0c81f1b2fb0420b

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-11-05 17:52:41+01:00

git-committer:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-11-22 20:43:02+01:00

Message:

Wrong assume

File:

• libpolys/polys/monomials/p_polys.h (modified) (1 diff)

libpolys/polys/monomials/p_polys.h

@@ -969 +969 @@
   const poly res = r->p_Procs->p_Minus_mm_Mult_qq(p, m, q, shorter, spNoether, r);
   lp += lq - shorter;
-  assume( lp == pLength(res) );
+//  assume( lp == pLength(res) );
   return res;
 }