Changeset d4cec6a in git for Singular/LIB/ainvar.lib

Timestamp:

Jul 23, 2019, 11:31:27 AM (5 years ago)

Author:

Karim Abou Zeid <karim23697@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

7161acac8387482214ebcdd85e77266519f0cad2

Parents:

d906dc5d406b00b056fb825f5c5c8988ebcaceb3628fc3d0ec524cd36ca82c3a6275c0dcf5d73c83

Message:

Merge branch 'spielwiese' into stable

File:

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

Singular/LIB/ainvar.lib

@@ -21 +21 @@
 LIB "general.lib";
 LIB "algebra.lib";
+LIB "ring.lib";
 ///////////////////////////////////////////////////////////////////////////////
 
@@ -102 +103 @@
 
   //changes the basering bsr to bsr[@t]
-  execute("ring s="+charstr(basering)+",("+varstr(basering)+",@t),dp;");
+  ring s = create_ring(ringlist(basering)[1],"("+varstr(basering)+",@t)","dp","no_minpoly");
   poly inv,delta,tee,j;
   ideal id=imap(bsr,id);
@@ -214 +215 @@
 
   //------------- changes the basering bsr to bsr[@(0),...,@(z)] ----------
-  execute("ring s="+charstr(basering)+",("+varstr(basering)+",@(0..z)),dp;");
-
+  list l2 = ringlist(basering)[2];
+  for (int ii = 0; ii <= z; ii++)
+  {
+    l2[size(l2)+1] = "@("+string(ii)+")";
+  }
+  ring s = create_ring(ringlist(basering)[1], l2, "dp", "no_minpoly");
   //constructs the leading ideal of dom=(p-@(0),dom[1]-@(1),...,dom[z]-@(z))
      ideal dom=imap(bsr,dom);