Changeset f18f58 in git

Timestamp:

Feb 3, 2013, 5:57:45 PM (11 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

2dbe57caacdead08c74d5b9f55255bc38f275d09

Parents:

8bf4c7eec371fe43a84513b76593638ac35c36d5

git-author:

Martin Lee <martinlee84@web.de>2013-02-03 17:57:45+01:00

git-committer:

Martin Lee <martinlee84@web.de>2013-02-18 15:00:05+01:00

Message:

chg: change level if necessary

File:

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

factory/facFqFactorize.cc

@@ -1851 +1851 @@
     int level= 0;
     if (foundDifferent)
+    {
       level= y.level() - 2;
+      for (int i= y.level(); i > 1; i--)
+      {
+        if (degree (F,i) > 0)
+        {
+          if (y.level() == 3)
+            level= 0;
+          else
+            level= i-3;
+        }
+      }
+    }
     printf ("y.level()= %d\n", y.level());
     printf ("lSecondVarLCs= %d\n", lSecondVarLCs);