Changeset 81626e in git for factory/facAbsFact.h

Timestamp:

Apr 23, 2013, 3:09:12 PM (11 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', '4a9821a93ffdc22a6696668bd4f6b8c9de3e6c5f')

Children:

59215406d7ac613efcad2b98daccd517fc6b1567

Parents:

feed2370cf84ef30c17fd44d7e2ebc32d7dcfd74

git-author:

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

git-committer:

Martin Lee <martinlee84@web.de>2013-05-02 11:42:46+02:00

Message:

fix: check in assert

File:

• factory/facAbsFact.h (modified) (1 diff)

factory/facAbsFact.h

@@ -104 +104 @@
 {
   //TODO handle homogeneous input
-  ASSERT (getNumVars (F) == 2, "expected bivariate input");
-  ASSERT (getCharacteristic() == 0 && isOn (SW_RATIONAL),
-          "expected poly over Q");
+  ASSERT (getNumVars (G) <= 2, "expected bivariate input");
+  ASSERT (getCharacteristic() == 0, "expected poly over Q");
 
   CFMap N;