Changeset ed7384a in git for Singular

Timestamp:

Mar 10, 2020, 3:16:14 PM (4 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

7c3f9702108b1e41c950d7dcbbb92932e4d71aa8

Parents:

31c83672cd3c3ce19545d0ee20f784737c55a1be

Message:

reset: changevar (see Short/bug_genus_etc.tst ...)

File:

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

Singular/LIB/ring.lib

@@ -165 +165 @@
    setring @r;
    ideal i = ideal(@r); int @q = size(i);
-   string @newring = "(";
-   string  strr1 = "printing vars";     // comment by sachin
-   strr1;    // comment by sachin
-   vars;
+   if( @q!=0 )
+      { string @s = "Rnew1"; }
+   else
+      { string @s = "Rnew"; }
+   string @newring = @s+"=("+charstr(@r)+"),(";
    if( vars[size(vars)-1]=="(" and vars[size(vars)]==")" )
    {
-//      @newring = @newring+vars[1,size(vars)-2]+"(1.."+string(nvars(@r))+")";
-      list l6;
-      for (int zz = 1; zz <= nvars(@r); zz++)
-      {    
-       l6[zz] = vars[1,size(vars)-2] + "("+string(zz)+")";
-      }
-   }
-   else
-   {
-//      @newring = @newring+vars;
-    list l6;
-    for(int zz=1 ; zz <= size(vars); zz++)
-    {    
-     if(vars[zz] != ","){ l6[size(l6)+1] = vars[zz]; }
-    }
-   }
+      @newring = @newring+vars[1,size(vars)-2]+"(1.."+string(nvars(@r))+")";
+   }
+   else { @newring = @newring+vars; }
    string ords=ordstr(@r);
    int l=size(ords);
@@ -204 +192 @@
      else { ords=string(ords[1..l1-1])+string(ords[l2+1..size(ords)]); }
    }
-   @newring = @newring+")";
-   string  strr1 = "printing newring";     // comment by sachin
-   strr1;    // comment by sachin
-   @newring;
-//   execute("ring "+@newring);
-   if( @q!=0 )
-      { ring Rnew1 = create_ring(ringlist(@r)[1], l6, "("+ords+")", "no_minpoly"); ringlist(Rnew1); }
-   else
-      { ring Rnew = create_ring(ringlist(@r)[1], l6, "("+ords+")", "no_minpoly"); ringlist(Rnew); }
+   @newring = @newring+"),("+ords+");";
+   execute("ring "+@newring);
    if( @q!=0 )
    {
@@ -221 +202 @@
    }
    return(Rnew);
-   
 }
 example