Changeset 8d8fef in git for Singular/LIB/primdecint.lib

Timestamp:

Jul 29, 2019, 11:36:09 PM (5 years ago)

Author:

Murray Heymann <heymann.murray@…>

Branches:

(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')

Children:

feed60bef09898f675e0f8605ed0ac0eaa8bed5a

Parents:

da1ec3de158a4f05384b9a83be86fc4c1942ec5fc1b9ababa50e8059dd847da0957f50aea901e6a8

Message:

Merge branch 'machine_learning' of github.com:MHeymann/Sources into machine_learning

File:

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

Singular/LIB/primdecint.lib

@@ -32 +32 @@
 
 LIB "primdec.lib";
+LIB "ring.lib";
 
 ////////////////////////////////////////////////////////////////////////////////
@@ -1111 +1112 @@
          //=== if u in x is an independent set of L then we compute a Groebner
          //=== Basis in Z[u][x-u]
-         execute("ring S=integer,("+L[1][1]+"),lp;");
+         ring S = create_ring(list("integer"), "("+L[1][1]+")", "lp");
          ideal I=imap(R,I);
          I=stdZ(I);
@@ -1241 +1242 @@
    //=== K[i]/f; does not work in rings with integer! This should be replaced
    //=== later
-   execute("ring Rhelp=0,("+varstr(R)+"),dp;");
+   ring Rhelp = create_ring(0, "("+varstr(R)+")", "dp");
    ideal K=imap(R,K);
    poly f=imap(R,f);
@@ -1282 +1283 @@
    if (not attrib(I,"isSB") ) { print ("// ** I is no standard basis"); }
    def R=basering;
-   execute("ring Rhelp=0,("+varstr(R)+"),dp;");
+   ring Rhelp = create_ring(0, "("+varstr(R)+")", "dp");
    ideal I=imap(R,I);
    poly f=imap(R,f);
@@ -1434 +1435 @@
          //=== if u in x is an independent set of L then we compute a Groebner
          //=== Basis in Z[u][x-u]
-         execute("ring S=integer,("+L[1][1]+"),lp;");
+         ring S = create_ring(list("integer"), "("+L[1][1]+")", "lp");
          module I=imap(R,I);
          I=std(I);