Changeset 4ec470 in git

Timestamp:

Dec 23, 2020, 11:37:40 PM (3 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '4a9821a93ffdc22a6696668bd4f6b8c9de3e6c5f')

Children:

4c6d0f9de7012e9c6c79fcf1c2094836b18e553c

Parents:

8cf4d31bb708e264c0e6082a13985538a2acd84f

Message:

move "verifyGB" to the official part

File:

• Singular/extra.cc (modified) (2 diffs)

Singular/extra.cc

@@ -404 +404 @@
       HilbertSeries_OrbitData(i, lV, ig, mgrad, autop, trunDegHs);
       return(FALSE);
+    }
+    else
+/* ====== verify ============================*/
+    if(strcmp(sys_cmd,"verifyGB")==0)
+    {
+      if (h->Typ()!=IDEAL_CMD)
+      {
+        WerrorS("expected system(\"verifyGB\",<ideal>,..)");
+        return TRUE;
+      }
+      ideal F=(ideal)h->Data();
+      #ifdef HAVE_VSPACE
+      int cpus = (long) feOptValue(FE_OPT_CPUS);
+      if (cpus>1)
+        res->data=(char*)(long) kVerify2(F,currRing->qideal);
+      else
+      #endif
+        res->data=(char*)(long) kVerify1(F,currRing->qideal);
+      res->rtyp=INT_CMD;
+      return FALSE;
     }
     else
@@ -3871 +3891 @@
     }
     else
-/* ====== verify ============================*/
-    if(strcmp(sys_cmd,"verifyGB")==0)
-    {
-      if (h->Typ()!=IDEAL_CMD)
-      {
-        WerrorS("expected system(\"verifyGB\",<ideal>,..)");
-        return TRUE;
-      }
-      ideal F=(ideal)h->Data();
-      #ifdef HAVE_VSPACE
-      int cpus = (long) feOptValue(FE_OPT_CPUS);
-      if (cpus>1)
-        res->data=(char*)(long) kVerify2(F,currRing->qideal);
-      else
-      #endif
-        res->data=(char*)(long) kVerify1(F,currRing->qideal);
-      res->rtyp=INT_CMD;
-      return FALSE;
-    }
-    else
 /*==================== Error =================*/
       Werror( "(extended) system(\"%s\",...) %s", sys_cmd, feNotImplemented );