chg: if variable has level LEVELBASE it has no minpoly

Singular · Aug 2, 2012 · 4119e2d · 4119e2d
1 parent aed373c
commit 4119e2d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/factory/variable.cc b/factory/variable.cc
@@ -222,8 +222,8 @@ void setMipo ( const Variable & alpha, const CanonicalForm & mipo)
 
 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) );
 }
 
 bool getReduce( const Variable & alpha )