Changeset 4df27e2 in git for Singular/LIB/olga.lib

Timestamp:

Nov 15, 2022, 11:14:46 AM (4 months ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')

Children:

c83da883c6a6082e2c8a67de0d9275f441154b1f

Parents:

0a4a20dfba04555d929927f769e18fd086517dd808e898f2667529913af21341f62336e64bc3bc3c

git-author:

Hans Schoenemann <hannes@mathematik.uni-kl.de>2022-11-15 11:14:46+01:00

git-committer:

GitHub <noreply@github.com>2022-11-15 11:14:46+01:00

Message:

Merge pull request #1160 from johannes-hoffmann/spielwiese

Edge case of total localization in olga.lib

File:

• Singular/LIB/olga.lib (modified) (2 diffs)

Singular/LIB/olga.lib

@@ -404 +404 @@
             locData = normalizeRational(locData);
         }
-        ideal I = p;
-        intvec modLocData = intvecComplement(locData, 1..nvars(basering));
-        I = eliminateNC(I, modLocData);
-        if (size(I)) {
-            return(1);
+        int n = nvars(basering);
+        if (size(locData) < n) { // there are variables to eliminate
+            ideal I = p;
+            intvec modLocData = intvecComplement(locData, 1..nvars(basering));
+            I = eliminateNC(I, modLocData);
+            if (size(I)) {
+                return(1);
+            }
+        } else {
+            return(p != 0);
         }
     }
@@ -1471 +1476 @@
         ERROR("Weyl rational isInS negative failed");
     }
+    intvec w = 4,2,3,4,1;
+    if (!isInS(x*y*Dx*Dy,2,w)) {
+        ERROR("Weyl total rational isInS positive failed");
+    }
+    if (isInS(0, 2, w)) {
+        ERROR("Weyl total rational isInS negative failed");
+    }
     print("    isInS OK");
 }