Changeset 3d5b277 in git for Singular/LIB/numerDecom.lib

Timestamp:

Jul 25, 2019, 1:23:11 PM (5 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

35a153cf7acb82519d52d0b74581e9a193d15765

Parents:

c9824e54c705dcaedb3b991c6bf81f9f974e758d3f94cbdb24129f0002a999ab5fb63a34f0fc933d

git-author:

Hans Schoenemann <hannes@mathematik.uni-kl.de>2019-07-25 13:23:11+02:00

git-committer:

GitHub <noreply@github.com>2019-07-25 13:23:11+02:00

Message:

Merge pull request #945 from tthsqe12/let_flint_borrow

let flint borrow large integer coeffs in some cases

File:

• Singular/LIB/numerDecom.lib (modified) (7 diffs)

Singular/LIB/numerDecom.lib

@@ -349 +349 @@
    if((n-rn)!=dd)
    {
-    execute("ring R=0,("+varstr(S)+",z(1..dd)),dp;");
+    list l2 = ringlist(S)[2];
+    for (int ii = 1; ii <= dd; ii++)
+    {
+     l2[size(l2)+1] = "z("+string(ii)+")";
+    }
+    ring R = create_ring(0, l2, "dp");
     ideal I=imap(rs,I);
     ideal H(0..n),L,LL,L(1..dd),LL(1..dd),h(1..dd),N(0..dd);
@@ -483 +488 @@
      {
       int w(q-1)=0;
-      execute("ring D(q)=(0,s,gamma),("+varstr(S)+",z(1..q)),dp;");
+      list l2 = ringlist(S)[2];
+      for (int ii = 1; ii <= q; ii++)
+      {
+       l2[size(l2)+1] = "z("+string(ii)+")";
+      }
+      ring D(q) = create_ring("(0,s,gamma)", l2, "dp");
       string nonsin(q),stnonsin(q);
       ideal H(1..q);
@@ -579 +589 @@
          for(qq=q-1;qq>=1;qq--)
          {
-          execute("ring T(qq)=(complex,16,I),("+varstr(S)+",z(1..qq)),dp;");
+          list l2 = ringlist(S)[2];
+          for (int ii = 1; ii <= qq; ii++)
+          {
+           l2[size(l2)+1] = "z("+string(ii)+")";
+          }
+          ring T(qq) = create_ring("(complex,16,I)", l2, "dp");
           list W(qq-1)=var(1);
          }
@@ -591 +606 @@
        {
         int w(qq-1);
-        execute("ring T(qq)=(complex,16,I),("+varstr(S)+",z(1..qq)),dp;");
+        list l2 = ringlist(S)[2];
+        for (int ii = 1; ii <= qq; ii++)
+        {
+         l2[size(l2)+1] = "z("+string(ii)+")";
+        }
+        ring T(qq) = create_ring("(complex,16,I)", l2, "dp"); 
         list W(qq-1)=var(1);
        }
@@ -600 +620 @@
       for(qq=q;qq>=1;qq--)
       {
-       execute("ring T(qq)=(complex,16,I),("+varstr(S)+",z(1..qq)),dp;");
+       list l2 = ringlist(S)[2];
+       for (int ii = 1; ii <= qq; ii++)
+       {
+        l2[size(l2)+1] = "z("+string(ii)+")";
+       }
+       ring T(qq) = create_ring("(complex,16,I)", l2, "dp");
        list W(qq-1)=var(1);
       }
@@ -1951 +1976 @@
   export(J(i));
  }
- execute("ring RR=0,(x(1..n),"+varstr(S)+"),dp;");
+ list l2;
+ for (int ii = 1; ii <= n; ii++)
+ {
+  l2[ii] = "x("+string(ii)+")";
+ }
+ l2 = l2+ringlist(S)[2];
+ ring RR = create_ring(0, l2, "dp");
  for(i=1;i<=d;i++)
  {
@@ -1995 +2026 @@
  int zc=size(D(d));
  export(zc);
- execute("ring DR=0,("+varstr(S)+",x(1..zc)),dp;");
+ list l2 = ringlist(S)[2];
+ for (int ii = 1; ii <= zc; ii++)
+ {
+  l2[size(l2)+1] = "x("+string(ii)+")";
+ }
+ ring DR = create_ring(0, l2, "dp");
  matrix TT(d)=imap(R,TT(d));
  ideal I=imap(S,I);