Changeset 4afedc3 in git

Timestamp:

Aug 7, 2019, 4:19:48 PM (4 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '0604212ebb110535022efecad887940825b97c3f')

Children:

b9047993db2a41c461ef3804d12554bce0d561fb

Parents:

ad31e892f8a885930b674dcbeb2e8852d9809946

git-author:

Hans Schoenemann <hannes@mathematik.uni-kl.de>2019-08-07 16:19:48+02:00

git-committer:

Hans Schoenemann <hannes@mathematik.uni-kl.de>2019-08-07 16:34:20+02:00

Message:

bug: create_ring in tropicalLifting

File:

• Singular/LIB/tropical.lib (modified) (16 diffs)

Singular/LIB/tropical.lib

@@ -344 +344 @@
   else
   {
-    ring BASERING = create_ring(ringlist(ALTERRING)[1], "(t,x(1.."+string(nvars(ALTERRING)-1)+"))", "("+ordstr(ALTERRING)+")", "no_minpoly");
+    execute("ring BASERING=("+charstr(ALTERRING)+"),(t,x(1.."+string(nvars(ALTERRING)-1)+")),("+ordstr(ALTERRING)+");");
   }
   map altphi=ALTERRING,maxideal(1);
@@ -497 +497 @@
   if (iszerodim==0) // do so only if is_dim_zero is not set
   {
-    ring QUOTRING = create_ring("("+charstr(basering)+",t)", "("+string(variablen)+")", "dp");
+    execute("ring QUOTRING=("+charstr(basering)+",t),("+string(variablen)+"),dp;");
     ideal i=groebner(imap(GRUNDRING,i));
     int dd=dim(i);
@@ -3644 +3644 @@
   CHARAKTERISTIK=CHARAKTERISTIK[1..size(CHARAKTERISTIK)-2];
   def BASERING=basering;
-  ring INITIALRING = create_ring("("+CHARAKTERISTIK+")", "("+varstr(basering)+")", "("+ordstr(basering)+")");
+  execute("ring INITIALRING=("+CHARAKTERISTIK+"),("+varstr(basering)+"),("+ordstr(basering)+");");
   list l=solve(imap(BASERING,i));
   l;
@@ -3952 +3952 @@
   }
   def BASERING=basering;
-  ring QUOTRING = create_ring("("+charstr(basering)+",t)", "("+string(variablen)+")", "dp");
+  execute("ring QUOTRING=("+charstr(basering)+",t),("+string(variablen)+"),dp;");
   ideal i=subst(imap(BASERING,i),var(j-1),t^(-wj)*var(j-1));
   for (k=1;k<=size(i);k++)
@@ -4014 +4014 @@
                              // (needed for the initial-monomial-check later
   }
-  ring QUOTRING = create_ring("("+charstr(basering)+",t)", "("+string(variablen)+")", "dp");
+  execute("ring QUOTRING=("+charstr(basering)+",t),("+string(variablen)+"),dp;");
   setring BASERING;
   // change to quotring where we want to compute the primary decomposition of i
@@ -5160 +5160 @@
   if (anzahlvariablen<nvars(basering))
   {
-    ring TINRING = create_ring("("+charstr(basering)+","+string(Parameter)+")", "("+string(variablen)+")", "dp");
+    execute("ring TINRING=("+charstr(basering)+","+string(Parameter)+"),("+string(variablen)+"),dp;");
   }
   else
@@ -5185 +5185 @@
   string PMet=string(par(1));
   def BASERING=basering;
-  ring r = create_ring(0, PMet, "ls");
+  execute("ring r=0,"+PMet+",ls;");
   execute("poly denomi="+denom+";");
   execute("poly numer="+num+";");
@@ -5551 +5551 @@
       setring LIFTRing;
       poly mp=minpoly;
-      ring TESTRing = create_ring(ringlist(LIFTRing)[1], "("+varstr(BASERING)+")", "dp", "no_minpoly");
+      execute("ring TESTRing=("+charstr(LIFTRing)+"),("+varstr(BASERING)+"),dp;");
       minpoly=number(imap(LIFTRing,mp));
       ideal i=imap(BASERING,i);
@@ -5718 +5718 @@
         {
           // pass to a ring which has variables which are suitable for gfan
-          ring GFANRING = create_ring(string(char(basering)), "(a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y,z,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z)", "dp");
+          execute("ring GFANRING=("+string(char(basering))+"),(a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y,z,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z),dp;");
           ideal phiideal=b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y,z,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X,Y,Z;
           phiideal[nvars(PREGFANRING)]=a; // map t to a
@@ -5934 +5934 @@
         if (anzahlvariablen<nvars(basering))
         {
-          ring PARARing = create_ring("("+string(char(basering))+",@a)", "t", "ls");
+          execute("ring PARARing=("+string(char(basering))+",@a),t,ls;");
           minpoly=number(imap(PREGFANRING,m));
         }
         else
         {
-          ring PARARing = create_ring(ringlist(basering)[1], "t", "ls", "no_minpoly");
+          execute("ring PARARing=("+charstr(basering)+"),t,ls;");
         }
         ideal PARA; // will contain the parametrisation
@@ -6200 +6200 @@
         else
         {
-          ring SATURATERING = create_ring(ringlist(basering)[1], "("+varstr(basering)+")", "("+ordstr(basering)+")", "no_minpoly");
+          execute("ring SATURATERING=("+charstr(basering)+"),("+varstr(basering)+"),("+ordstr(basering)+");");
           ideal i=imap(BASERING,i);
           export(i);
@@ -6341 +6341 @@
   // - the variable t is superflous,
   // the variable @a is not if it was already present
-  ring INITIALRING = create_ring(ringlist(basering)[1], "("+string(variablen)+")", "dp", "no_minpoly");
+  execute("ring INITIALRING=("+charstr(basering)+"),("+string(variablen)+"),dp;");
   ideal ini=imap(BASERING,ini);
   // compute the minimal associated primes of the
@@ -6367 +6367 @@
       // define the extension ring which contains
       // the new variable @a, if it is not yet present
-      ring EXTENSIONRING = create_ring(ringlist(BASERING)[1], "("+string(imap(BASERING,variablen))+",@a,"+tvar+")", "(dp("+string(anzahlvariablen-1)+"),dp(1),lp(1))", "no_minpoly");
+      execute("ring EXTENSIONRING=("+charstr(BASERING)+"),("+string(imap(BASERING,variablen))+",@a,"+tvar+"),(dp("+string(anzahlvariablen-1)+"),dp(1),lp(1));");
       // phi maps x_i to x_i, @a to @a (if present in the ring),
       // and the additional variable
@@ -6378 +6378 @@
     else // @a was already present in the BASERING or no
     { // field extension is necessary
-      ring EXTENSIONRING = create_ring(ringlist(BASERING)[1], "("+varstr(BASERING)+")", "("+ordstr(BASERING)+")", "no_minpoly");
+      execute("ring EXTENSIONRING=("+charstr(BASERING)+"),("+varstr(BASERING)+"),("+ordstr(BASERING)+");");
       // phi maps x_i to x_i, @a to @a (if present in the ring),
       // and the additional variable
@@ -7255 +7255 @@
 {
   def BASERING=basering;
-  ring INTERRING = create_ring(0, "("+varstr(basering)+")", "("+ordstr(basering)+")");
+  execute("ring INTERRING=0,("+varstr(basering)+"),("+ordstr(basering)+");");
   poly n=imap(BASERING,n);
-  ring REALRING = create_ring("(real,50,100)", "("+varstr(basering)+")", "("+ordstr(basering)+")");
+  execute("ring REALRING=(real,50,100),("+varstr(basering)+"),("+ordstr(basering)+");");
   map phi=INTERRING,maxideal(1);
   string s=string(phi(n));
@@ -7873 +7873 @@
   {
     def BASERING=basering;
-    ring TRING = create_ring(string(char(BASERING)), "t", "ds");
+    execute("ring TRING="+string(char(BASERING))+",t,ds;");
     poly hn=imap(BASERING,hn);
     poly c4=imap(BASERING,c4);