Changeset 24457e in git

Timestamp:

Mar 12, 2021, 11:22:18 AM (2 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '91fdef05f09f54b8d58d92a472e9c4a43aa4656f')

Children:

7b8e28f635afde923bf9ebc01c3821ba6d67ece8

Parents:

f7951d3b3bfea118917f4155803e30bac0dc2b16

Message:

improve algebra_containment

File:

• Singular/LIB/algebra.lib (modified) (5 diffs)

Singular/LIB/algebra.lib

@@ -1 +1 @@
 ///////////////////////////////////////////////////////////////////////////////
-version="version algebra.lib 4.1.2.0 Feb_2019 "; // $Id$
+version="version algebra.lib 4.2.0.1 Mar_2021 "; // $Id$
 category="Commutative Algebra";
 info="
@@ -66 +66 @@
     int m = ncols(A);
     int i;
-    string mp=string(minpoly);
     //-----------------
     // neu CL 10/05:
     int is_qring;
-    if (size(ideal(br))>0) {
+    if (size(ideal(br))>0)
+    {
       is_qring=1;
       ideal IdQ = ideal(br);
@@ -85 +85 @@
      l3[size(l3)+1] = "y("+string(yy)+")";
     }
-    ring R = create_ring(ringlist(br)[1], l3, "(dp("+string(n)+"),dp("+string(m)+"))", "no_minpoly"); 
-    if (mp!="0")
-    { execute ("minpoly=number("+mp+");"); }
-    ideal vars=x(1..n);
-    map emb=br,vars;
-    ideal A=ideal(emb(A));
-    poly check=emb(p);
+    list RL=ringlist(br);
+    RL[2]=l3; //vars
+    RL[3]=list(list("dp",1:n),list("dp",1:m)); //ord
+    RL[4]=ideal(0); // reset qring
+    ring R=ring(RL);
+    ideal A=fetch(br,A);
+    poly check=fetch(br,p);
     for (i=1;i<=m;i=i+1)
-    { A[i]=A[i]-y(i);
+    {
+      A[i]=A[i]-y(i);
     }
     //-----------------
     // neu CL 10/05:
-    if (is_qring) { A = A,emb(IdQ); }
+    if (is_qring) { A = A,fetch(br,IdQ); }
     //-----------------
     A=std(A);
@@ -108 +109 @@
   // use i also to control the display
     i = (sum(leadexp(check),1..n)==0);
-  degBound = DEGB;
+    degBound = DEGB;
     if( #[1] == 0 )
     { dbprint(printlevel-voice+3,"// "+string(check));
@@ -115 +116 @@
     else
     { list l = i,R;
-      kill A,vars,emb;
+      kill A;
       export check;
       dbprint(printlevel-voice+3,"