Changeset 2073f44 in git for Singular/LIB/rinvar.lib

Timestamp:

Jan 23, 2015, 4:15:54 PM (9 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'ec94ef7a30b928574c0c3daf41f6804dff5f6b69')

Children:

51d7406c03edf243bdd427e9698f4c38805e0743

Parents:

ca8ff27d6b290f42a965227eda1ca3bbd637e204

Message:

chg: removed some ring constructions via execute

File:

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

Singular/LIB/rinvar.lib

@@ -1 +1 @@
 /////////////////////////////////////////////////////////////////////////////
-version="version rinvar.lib 4.0.0.0 Jun_2013 "; // $Id$
+version="version rinvar.lib 4.0.1.1 Jan_2015 "; // $Id$
 category="Invariant theory";
 info="
@@ -127 +127 @@
   // only to 0's. Note that z(1..newVars) are slack variables
 
-  order = "(dp(" + string(nvars(basering)) + "), dp);";
-  ringSTR1 = "ring RIGR = (" + charstr(basering) + "), (" + varstr(basering)
-                             + ", z(1.." + string(newVars) + "))," + order;
-  execute(ringSTR1);
-  execute("minpoly = number(" + @mPoly + ");");
+  def RIGR=addNvarsTo(basering,newVars,"z",1); setring RIGR;
   ideal I1, I2, Gn, G, F, mEntries, newGaction;
   G = imap(RIGB, Grp);
@@ -297 +293 @@
   // create new ring for elimination, Y(1),...,Y(m) are slack variables.
 
-  string @mPoly = string(minpoly);
+  //string @mPoly = string(minpoly);
   def RAR1=addNvarsTo(basering,nrNewVars,"Y",1); setring RAR1;
-  string ringSTR2 = "ring RAR2 = (" + charstr(basering) + "), Y(1.." + string(nrNewVars) + "), dp;";
+  list RAR2l=ringlist(RAR1);
+  list RAR2ll=RAR2l[2];
+  RAR2ll=RAR2ll[size(RAR2ll)-nrNewVars+1..size(RAR2ll)];
+  RAR2l[2]=RAR2ll;
+  RAR2l[3]=list(list("dp",1:nrNewVars),list("C",0));
+  def RAR2=ring(RAR2l);
 
   ideal I, J1, J2, Fm;
@@ -326 +327 @@
   J2 = nselect(J1, 1.. nvars(RARB));
 
-  execute(ringSTR2);
-  execute("minpoly = number(" + @mPoly + ");");
+  setring RAR2;
   ideal imageid = imap(RAR1, J2);
   export(imageid);