Changeset b19f81 in git

Timestamp:

Oct 28, 2013, 11:08:47 AM (9 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'ad2543eab51733612ba7d118afc77edca719600e')

Children:

215353e5dbc6e1393f0f2107ee3615f129b47538

Parents:

68b4d3e3c9d7858d50d0e4e121804fd7a5ccd4c6

Message:

fix: removed wrong assumes

File:

• libpolys/polys/monomials/p_polys.cc (modified) (2 diffs)

libpolys/polys/monomials/p_polys.cc

@@ -2518 +2518 @@
   {
     p_Content(p,r);
-    assume( n_GreaterZero(pGetCoeff(p),C) );
     if(!n_GreaterZero(pGetCoeff(p),C)) p = p_Neg(p,r);
     return p;
@@ -2627 +2626 @@
   }
 
-  assume( n_GreaterZero(pGetCoeff(p),C) );
   if(!n_GreaterZero(pGetCoeff(p),C)) p = p_Neg(p,r);