Changeset 578051 in git for Singular/iparith.cc

Timestamp:

Dec 18, 2017, 4:15:00 PM (6 years ago)

Author:

Karim Abou Zeid <karim23697@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

909b29541ce0c334010bba6696154e22461eb5ce

Parents:

9b58b3fcc6a12daf4ea426458fac85c628277f67179aaba41255e379952db14e553b6a3df355202c

Message:

Merge branch 'spielwiese' into develop

File:

• Singular/iparith.cc (modified) (1 diff)

Singular/iparith.cc

@@ -2199 +2199 @@
   return FALSE;
 }
+
+static BOOLEAN jjFRES3(leftv res, leftv u, leftv v, leftv w)
+{
+    assumeStdFlag(u);
+    ideal id = (ideal)u->Data();
+    int max_length = (int)(long)v->Data();
+    if (max_length < 0) {
+        WerrorS("length for fres must not be negative");
+        return TRUE;
+    }
+    if (max_length == 0) {
+        max_length = currRing->N+1;
+        if (currRing->qideal != NULL) {
+            Warn("full resolution in a qring may be infinite, "
+                "setting max length to %d", max_length);
+        }
+    }
+    char *method = (char *)w->Data();
+    /* For the moment, only "complete" (default), "frame", or "extended frame"
+     * are allowed. Another useful option would be "linear strand".
+     */
+    if (strcmp(method, "complete") != 0
+            && strcmp(method, "frame") != 0
+            && strcmp(method, "extended frame") != 0) {
+        WerrorS("wrong optional argument for fres");
+    }
+    syStrategy r = syFrank(id, max_length, method);
+    assume(r->fullres != NULL);
+    res->data = (void *)r;
+    return FALSE;
+}
+
+static BOOLEAN jjFRES(leftv res, leftv u, leftv v)
+{
+    leftv w = (leftv)omAlloc0(sizeof(sleftv));
+    w->rtyp = STRING_CMD;
+    w->data = (char *)"complete";   // default
+    BOOLEAN RES = jjFRES3(res, u, v, w);
+    omFree(w);
+    return RES;
+}
+
 static BOOLEAN jjFWALK(leftv res, leftv u, leftv v)
 {