Changeset e2c181 in git for factory/variable.cc

Timestamp:

Feb 22, 2012, 4:26:12 PM (12 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

ff3a4f4a8e655885eb376e551f47339a6de25bf0

Parents:

43bbd6d912fd61156de899f0e8aa1e830a90b6d7

Message:

chg: enable assertions instead of being lazy

File:

• factory/variable.cc (modified) (2 diffs)

factory/variable.cc

@@ -151 +151 @@
 #endif /* NOSTREAMIO */
 
-//static bool legal_mipo( const CanonicalForm & mipo )
-//{
-//    ASSERT( mipo.inPolyDomain(), "not a legal extension" );
-//    bool ok = true;
-//    for ( CFIterator i = mipo; ok && i.hasTerms(); i++ )
-//        ok = i.coeff().inBaseDomain();
-//    return ok;
-//}
-
 static CanonicalForm conv2mipo ( const CanonicalForm & mipo, const Variable alpha )
 {
@@ -170 +161 @@
 Variable rootOf( const CanonicalForm & mipo, char name )
 {
-    //ASSERT( legal_mipo( mipo ), "not a legal extension" );
+    ASSERT (mipo.inPolyDomain() && mipo.isUnivariate(), "not a legal extension");
 
     int l;