Changeset b45eec in git for Singular/LIB/ring.lib

Timestamp:

Apr 19, 2020, 9:57:14 PM (4 years ago)

Author:

Karim Abou Zeid <karim23697@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

ffcf715a570941627bf020648e93955f1596f2ef

Parents:

d49a473d44aa25c5ecc3126360ab3179ddb8af7e636fa5455e699fa8c0a820dd60e00a059f96f8ef

Message:

Merge branch 'stable' into lp_Z

File:

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

Singular/LIB/ring.lib

@@ -250 +250 @@
    if (n >26)
    {
-      string s="ring S ="+string(p)+",x(1.."+string(n)+"),ds;";
+    list l1;
+    for (int zz = 1; zz <= n; zz++)
+    {
+     l1[zz] = "x("+string(zz)+")";
+    }
+    ring S = create_ring(p, l1, "ds");
    }
    else
    {
-      string s="ring S ="+string(p)+",("+A_Z("x",n)+"),ds;";
-   }
-   execute(s);
+    ring S = create_ring(p, "("+A_Z("x",n)+")", "ds");
+   }
    dbprint(printlevel-voice+2,"
 // 'defrings' created a ring. To see the ring, type (if the name R was
@@ -286 +290 @@
    if (n >26)
    {
-      string s="ring P="+string(p)+",x(1.."+string(n)+"),dp;";
+    list l2;
+    for (int zz = 1; zz <= n; zz++)
+    {
+     l2[zz] = "x("+string(zz)+")";
+    }
+    ring P = create_ring(p, l2, "dp");
    }
    else
    {
-     string s="ring P="+string(p)+",("+A_Z("x",n)+"),dp;";
-   }
-   execute(s);
+    ring P = create_ring(p, "("+A_Z("x",n)+")", "dp");
+   }
    dbprint(printlevel-voice+2,"
 // 'defringp' created a ring. To see the ring, type (if the name R was
@@ -761 +769 @@
     {
       ideal I=ideal(S);
-      newRing="ring S0=("+charstr(S)+"),("+varstr(S)+"),dp;";
       minpoly_string=string(minpoly);
-      execute(newRing);
+      list l8 = ringlist(S)[2];
+      ring S0 = create_ring(ringlist(S)[1], l8, "dp", "no_minpoly");
       execute("minpoly="+minpoly_string+";");
       ideal I=imap(S,I);
       list pr=primdecGTZ(I);
-      newRing="ring SL=("+charstr(S)+"),("+varstr(S)+"),("+ordstr(S)+");";
-      execute(newRing);
+      ring SL = create_ring(ringlist(S)[1], l8, "("+ordstr(S)+")", "no_minpoly");
       execute("minpoly="+minpoly_string+";");
       list pr=imap(S0,pr);
@@ -799 +806 @@
     {
       ideal J=ideal(@R);
-      newRing="ring R0=("+charstr(@R)+"),("+varstr(@R)+"),dp;";
+      list l9 = ringlist(@R)[2];
       minpoly_string=string(minpoly);
-      execute(newRing);
+      ring R0 = create_ring(ringlist(@R)[1], l9, "dp", "no_minpoly");
       execute("minpoly="+minpoly_string+";");
       ideal J=imap(@R,J);
       list pr=primdecGTZ(J);
-      newRing="ring RL=("+charstr(@R)+"),("+varstr(@R)+"),("+ordstr(@R)+");";
-      execute(newRing);
+      setring(@R);
+      ring RL = create_ring(ringlist(@R)[1], l9, "("+ordstr(@R)+")", "no_minpoly");
       execute("minpoly="+minpoly_string+";");
       list pr=imap(R0,pr);
@@ -1165 +1172 @@
 }
 example
-{ "EXAMPLE:", echo=2;
+{ "EXAMPLE:"; echo=2;
  ring r=0,(x,y,z),dp;
  hasCommutativeVars(r);