Changeset 84632f in git

Timestamp:

Feb 14, 2023, 4:24:43 PM (15 months ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b4f17ed1d25f93d46dbe29e4b499baecc2fd51bb')

Children:

c3e2eaac4a60751d60c4ec5bcfa39301b6a589bf

Parents:

b08548f0a7ddd6fe2b4c399c6b8c1c308a1f2df7

Message:

fix: remove some execute from ring.lib, reesclos.lib

Location:

Singular/LIB

Files:

• reesclos.lib (modified) (1 diff)
• ring.lib (modified) (3 diffs)

Singular/LIB/reesclos.lib

@@ -58 +58 @@
   // Here I -> t*I, so the generators of I generate the subalgebra R[It] in Kxt
 
-  execute ("ring Kxt = "+oldchar+",("+oldvar+",t),dp");
+  ring Kxt = create_ring(ring_list(oldring)[1],"("+oldvar+",t)","dp");
   ideal I = fetch(oldring,I);
   ideal m = fetch(oldring,m);

Singular/LIB/ring.lib

@@ -1 +1 @@
 /////////////////////////////////////////////////////////////////////////////
-version="version ring.lib 4.3.1.2 Nov_2022 "; // $Id$
+version="version ring.lib 4.3.1.3 Feb_2023 "; // $Id$
 category="General purpose";
 info="
@@ -769 +769 @@
     {
       ideal I=ideal(S);
-      minpoly_string=string(minpoly);
       list l8 = ring_list(S)[2];
-      ring S0 = create_ring(ring_list(S)[1], l8, "dp", "no_minpoly");
-      execute("minpoly="+minpoly_string+";");
+      ring S0 = create_ring(ring_list(S)[1], l8, "dp");
       ideal I=imap(S,I);
       list pr=primdecGTZ(I);
-      ring SL = create_ring(ring_list(S)[1], l8, "("+ordstr(S)+")", "no_minpoly");
-      execute("minpoly="+minpoly_string+";");
+      ring SL = create_ring(ring_list(S)[1], l8, "("+ordstr(S)+")");
       list pr=imap(S0,pr);
       ideal I0=std(pr[1][1]);
@@ -807 +804 @@
       ideal J=ideal(@R);
       list l9 = ringlist(@R)[2];
-      minpoly_string=string(minpoly);
-      ring R0 = create_ring(ring_list(@R)[1], l9, "dp", "no_minpoly");
-      execute("minpoly="+minpoly_string+";");
+      ring R0 = create_ring(ring_list(@R)[1], l9, "dp");
       ideal J=imap(@R,J);
       list pr=primdecGTZ(J);
       setring(@R);
-      ring RL = create_ring(ring_list(@R)[1], l9, "("+ordstr(@R)+")", "no_minpoly");
-      execute("minpoly="+minpoly_string+";");
+      ring RL = create_ring(ring_list(@R)[1], l9, "("+ordstr(@R)+")");
       list pr=imap(R0,pr);
       ideal J0=std(pr[1][1]);