Changeset 2547a8 in git for Singular/LIB/ring.lib

Timestamp:

Jun 28, 2019, 12:11:49 PM (5 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '2a584933abf2a2d3082034c7586d38bb6de1a30a')

Children:

299cf9dabe65794572ba7a95c0fa1430dbb7331d

Parents:

e7a3e4622a4ee37e827a79a11823ede5565a346f5dd8f4a565675c9ea4ab19c919bf4a2745aa3129

git-author:

Hans Schoenemann <hannes@mathematik.uni-kl.de>2019-06-28 10:11:49+00:00

git-committer:

GitHub <noreply@github.com>2019-06-28 10:11:49+00:00

Message:

Merge pull request #932 from sebasguts/sg/dummy_lib

Added Dummy.lib

File:

• Singular/LIB/ring.lib (modified) (4 diffs)

Singular/LIB/ring.lib

@@ -1381 +1381 @@
 }
 
+/*
+ * parses
+ * "0" and "(0)" to 0,
+ * "32003" and "(32003)" to 32003, and
+ * "(32003,a,b,c)" to
+ *     list(32003, list("a", "b", "c"), list(list("lp", 1:3)), ideal(0))
+ */
+static proc parse_L1(string l1)
+{
+  if (find(l1, "(", 1) == 0)   // no parentheses
+  {
+      return(int(l1));
+  }
+  list tokens = tuple_to_tokens(l1);
+  if (size(tokens) == 1)
+  {
+      return(int(tokens[1]));
+  }
+  list L = int(tokens[1]);
+  L[2] = list(tokens[2..size(tokens)]);
+  L[3] = list(list("lp", 1:(size(tokens)-1)));
+  L[4] = ideal(0);
+  return(L);
+}
+
+/*
+ * parses
+ * "x" to list("x") and
+ * "(x,y,z)" to list("x", "y", "z")
+ */
 static proc parse_L2(string l2)
 {
+  if (find(l2, "(", 1) == 0)   // no parentheses
+  {
+      return(list(l2));
+  }
   list V = tuple_to_tokens(l2);
   return(V);
@@ -1434 +1468 @@
   {
     list L =  parse_ordering(l3, n_vars);
-    return(L);
+    return(list(L));
   }
   // block orderings
@@ -1454 +1488 @@
          ideal(0). If \"no_minpoly\" is given, then the minimal polynomial
          in l1, if present, is set to 0.
-         @* Shortcuts: Strings such as \"(x,y,z)\" can be given as l2.
+         @* Shortcuts: Strings such as \"0\", \"(32003)\" or \"(0,a,b,c)\" can
+         be given as l1. Indexed parameters as in \"(0,a(1..3))\" are
+         not supported. Strings such as \"(x,y,z)\" can be given as l2.
          Indexed variables as in \"(x(1..3),y,z)\" are not supported.
          Strings representing orderings such as \"dp\" or \"(lp(3), ds(2))\"
@@ -1491 +1527 @@
 
   /* L[1] */
-  if (no_minpoly)
-  {
-    if (typeof(l1) == "list")
+  if (typeof(l2) == "list")
+  {
+    if (no_minpoly)
     {
-      if (size(l1) == 4)
+      if (typeof(l1) == "list")
       {
-        if (typeof(l1[4]) == "ideal")
+        if (size(l1) == 4)
         {
-          l1[4] = ideal(0);
+          if (typeof(l1[4]) == "ideal")
+          {
+            l1[4] = ideal(0);
+          }
         }
       }
     }
-  }
-  L[1] = l1;
+    L[1] = l1;
+  }
+  else
+  {
+    L[1] = parse_L1(l1);
+  }
 
   /* L[2] */