Changeset 07ae7c in git

Timestamp:

Apr 4, 2011, 4:05:41 PM (12 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

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

Children:

8047af8c8db1aff17222fa052c81d384e6e62769

Parents:

80213c6f8759cea807389049aae108183f1d33ec

Message:

fix assume

git-svn-id: file:///usr/local/Singular/svn/trunk@14089 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• kernel/p_polys.cc (modified) (1 diff)

kernel/p_polys.cc

@@ -411 +411 @@
 {
   p_LmCheckPolyRing(a, r);
-  assume(p_GetOrder(a, r) == pWTotaldegree(a, r));
   return p_GetOrder(a, r);
 }