Changeset 183688 in git for factory/variable.cc

Timestamp:

Aug 1, 2012, 9:26:50 PM (11 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '1d362c315e551a5b527ab0759f8839cf0e94f3a5')

Children:

2d71dd455de206f556c8c2200d3bc739a4a48ebb

Parents:

21263cf68eb94ca94f4b65c4464312b7892f411e

git-author:

Martin Lee <martinlee84@web.de>2012-08-01 21:26:50+02:00

git-committer:

Martin Lee <martinlee84@web.de>2012-08-03 10:03:18+02:00

Message:

chg: if variable has level LEVELBASE it has no minpoly

File:

• factory/variable.cc (modified) (1 diff)

factory/variable.cc

@@ -223 +223 @@
 bool hasMipo( const Variable & alpha )
 {
-    ASSERT( alpha.level() < 0 && alpha.level() != LEVELBASE, "illegal extension" );
-    return ((algextensions!=NULL) && getReduce(alpha) );
+    ASSERT( alpha.level() < 0, "illegal extension" );
+    return (alpha.level() != LEVELBASE && (algextensions!=NULL) && getReduce(alpha) );
 }