Changeset b37b398 in git for libpolys/polys/monomials/ring.h

Timestamp:

Oct 19, 2012, 6:36:03 PM (12 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')

Children:

1bc7201c1a771fb5cc842ca4f475ba3ea91e6979

Parents:

d30a39922dc390f97b6cd257b2e7c55d483f4159237c4266ccdbbf8b6c6046b550e61cb1751b2b35

Message:

Merge pull request #191 from mmklee/factoryassert_sw

Factoryassert sw

File:

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

libpolys/polys/monomials/ring.h

@@ -659 +659 @@
   if( ret )
   {
-    const ring R = C->extRing;
-    assume( R != NULL );
+    assume( (C->extRing) != NULL );
     BOOLEAN idIs0 (ideal h);
-    assume( !idIs0(R->qideal) );
+    assume((!((C->extRing)->qideal==NULL)) && (!idIs0((C->extRing)->qideal)));
   }