Changeset 050d1b in git for factory/variable.cc

Timestamp:

Apr 4, 2012, 1:30:52 PM (11 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

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

Children:

0a7d0ca68a61f160eb5b83774592a019ed99f025

Parents:

a76d6fe76b652b99d7b02e9ba874bb0c39294637

git-author:

Martin Lee <martinlee84@web.de>2012-04-04 13:30:52+02:00

git-committer:

Martin Lee <martinlee84@web.de>2012-04-04 15:02:12+02:00

Message:

fix: wrong/unneccessary asserts

File:

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

factory/variable.cc

@@ -161 +161 @@
 Variable rootOf( const CanonicalForm & mipo, char name )
 {
-    ASSERT (mipo.inPolyDomain() && mipo.isUnivariate(), "not a legal extension");
+    ASSERT (mipo.isUnivariate(), "not a legal extension");
 
     int l;