Changeset 699fed in git

Timestamp:

Jun 28, 2020, 7:20:37 PM (3 years ago)

Author:

Sachin <sachinkm308@…>

Branches:

(u'spielwiese', '828514cf6e480e4bafc26df99217bf2a1ed1ef45')

Children:

67e34d703a09cd2924973f990bf59c52ba5c4cd2

Parents:

cbdf0e507d7f2e431e05eeee9c7e8a7437d2c9c8

git-author:

Sachin <sachinkm308@gmail.com>2020-06-28 19:20:37+02:00

git-committer:

Sachin <sachinkm308@gmail.com>2020-07-03 19:14:00+02:00

Message:

replacing_execute_with_create_ring17

Location:

Singular/LIB

Files:

• atkins.lib (modified) (1 diff)
• chern.lib (modified) (5 diffs)
• finvar.lib (modified) (6 diffs)
• hnoether.lib (modified) (1 diff)

Singular/LIB/atkins.lib

@@ -567 +567 @@
           s3=string(t);
 
-          execute("a1="+s1+";");
-          execute("b1="+s2+";");
-          execute("t1="+s3+";");
+          a1=int(a);
+          b1=int(b);
+          t1=int(t);          
           g1=gcd(gcd(a1,b1),t1 div a1);
           setring C;

Singular/LIB/chern.lib

@@ -201 +201 @@
   }
   ring r@ = create_ring(ringlist(basering)[1], l2, "dp", "no_minpoly"); 
-  execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings
-  ideal V=F(V);
-  poly f=F(f);
+  ideal V=fetch(br@,V);
+  poly f=fetch(br@,f);
   int i;
   for(i=1; i<=nV; i++)
@@ -3169 +3168 @@
   l13[size(l13)+1] = "u@";
   ring r@ = create_ring(ringlist(basering)[1], l13, "dp", "no_minpoly");
-  execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings
-  ideal I=F(I); // the ideal generated by I in the new ring
+  ideal I=fetch(br@,I); // the ideal generated by I in the new ring
   ideal J(0..n); // define n+1 ideals J(0), ... , J(n)
   // compute the ideal of the Rees algebra of the ideal I:
@@ -3269 +3267 @@
   l14[size(l14)+1] = "u@";
   ring r@ = create_ring(ringlist(basering)[1], l14, "dp", "no_minpoly");
-  execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings
-  ideal I=F(I); // the ideal generated by I in the new ring
+  ideal I=fetch(br@,I); // the ideal generated by I in the new ring
   ideal J(0..n); // define n+1 ideals J(0), ... , J(n)
   // compute the ideal of the Rees algebra of the ideal I:
@@ -3404 +3401 @@
   def br@=basering; // remember the base ring
   ring r@ = create_ring(ringlist(basering)[1], "("+varstr(basering)+",homvar@)", "dp", "no_minpoly");
-  execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings
-  ideal I=F(I);
+  ideal I=fetch(br@,I);
   ideal J=homog(I, homvar@);
   ideal JJ=J, homvar@;
@@ -3988 +3984 @@
   l15[size(l15)+1] = "u@";
   ring r@ = create_ring(ringlist(basering)[1], l15, "dp", "no_minpoly");
-  execute( "map F= br@,"+varstr(br@)+";" ); // define the corresponding inclusion of rings
-  ideal I=F(I);
+  ideal I=fetch(br@,I);
   ideal J(0..n);
   for(i=1; i<=sz; i++)

Singular/LIB/finvar.lib

@@ -717 +717 @@
       else
       { chst=chst[i..size(chst)];
-        execute
-        ("ring newring=(0"+chst+"),("+varstr(br)+"),("+ordstr(br)+")");
+        list rl=ringlist(br);
+        if (typeof(rl[1]=="int"))
+        {
+          rl[1]=0;
+        }
+        else
+        {
+          rl[1][1]=0;
+        }  
+        def newring=ring(rl);
+        setring newring;
         
       }
@@ -726 +735 @@
       minp=minp[2..size(minp)-1];
       chst=chst[i..size(chst)];
-      execute("ring newring=(0"+chst+"),("+varstr(br)+"),("+ordstr(br)+")");
+      list rl=ringlist(br);
+      if (typeof(rl[1]=="int"))
+      {
+        rl[1]=0;
+      }
+      else
+      {
+        rl[1][1]=0;
+      }  
+      def newring=ring(rl);
+      setring newring;
       execute("minpoly="+minp);
     }
@@ -1112 +1131 @@
     if (minpoly==0)
     { if (i>size(chst))
-      { execute("ring newring=0,("+varstr(br)+"),("+ordstr(br)+")");
+      { 
+         ring newring = create_ring(0, "("+varstr(br)+")", "("+ordstr(br)+")");
       }
       else
       { chst=chst[i..size(chst)];
-        execute
-        ("ring newring=(0"+chst+"),("+varstr(br)+"),("+ordstr(br)+")");
+        list rl=ringlist(br);
+        if (typeof(rl[1]=="int"))
+        {
+          rl[1]=0;
+        }
+        else
+        {
+          rl[1][1]=0;
+        }  
+        def newring=ring(rl);
+        setring newring; 
       }
     }
@@ -1124 +1153 @@
       minp=minp[2..size(minp)-1];
       chst=chst[i..size(chst)];
-      execute("ring newring=(0"+chst+"),("+varstr(br)+"),("+ordstr(br)+")");
+      list rl=ringlist(br);
+      if (typeof(rl[1]=="int"))
+      {
+        rl[1]=0;
+      }
+      else
+      {
+        rl[1][1]=0;
+      }  
+      def newring=ring(rl);
+      setring newring;  
       execute("minpoly="+minp);
     }
@@ -7172 +7211 @@
     { I[i]=I[i]-y(i); }
     I=elim(I,1..n);
-    execute("ring newring=("+charstr(br)+"),(y(1..m)),dp(m);");
+    list l3;
+    for (int zz = 1; zz <= m; zz++)
+    {
+      l3[zz] = "y("+string(zz)+")";
+    }
+    ring newring = create_ring(ringlist(br)[1], l3, "dp("+string(m)+")", "no_minpoly");
     if (mp!="0")
     { execute("minpoly=number("+mp+");"); }
@@ -7417 +7461 @@
     }
     G=compress(G);
-    execute("ring newring=("+charstr(br)+"),(y(1..m)),lp;");
+    list l4;
+    for (int zz = 1; zz <= m; zz++)
+    {
+      l4[zz] = "y("+string(zz)+")";
+    }
+    ring newring = create_ring(ringlist(br)[1], l4, "lp", "no_minpoly");
     if (mp!="0")
     { execute("minpoly=number("+mp+");"); }

Singular/LIB/hnoether.lib

@@ -2024 +2024 @@
  def displayring=dazu+altring;
 */
- execute("ring displayring=("+charstr(basering)+"),(z(0.."+string(size(v)-1)+"),"+varstr(basering)+"),(ls("+string(size(v))+"),"+ordstr(basering)+");");
+ //execute("ring displayring=("+charstr(basering)+"),(z(0.."+string(size(v)-1)+"),"+varstr(basering)+"),(ls("+string(size(v))+"),"+ordstr(basering)+");");
+ list l1;
+ for (int zz = 0; zz <= size(v)-1; zz++)
+ {
+   l1[zz+1] = "z("+string(zz)+")";
+ }
+ l1[size(l1)+1] = ringlist(basering)[2];
+ ring displayring = create_ring(ringlist(basering)[1], l1, "(ls("+string(size(v))+"),"+ordstr(basering)+")", "no_minpoly");
  // End change by T. Keilen
  //////////////////////////////////////////////////////////////