Changeset 0be039 in git for Singular/LIB/freegb.lib

Timestamp:

Mar 16, 2018, 6:27:45 PM (6 years ago)

Author:

Karim Abou Zeid <karim23697@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

52ac0882b123798821765bb16d5ba4b371ced4cd

Parents:

95a42a2dacdcadb5c004cb3520b5c252dfe8e784df09c0184ffc4aaf31c02b8691e68734f25fc3b3

Message:

Merge branch 'lpDivision' into stable

File:

• Singular/LIB/freegb.lib (modified) (2 diffs)

Singular/LIB/freegb.lib

@@ -51 +51 @@
 LIB "qhmoduli.lib"; // for Max
 LIB "bfun.lib"; // for inForm
+LIB "fpadim.lib"; // for intvec conversion
 
 proc tstfreegb()
@@ -3278 +3279 @@
 }
 
+proc lpDivision(poly p, ideal I)
+"ASSUME: I is a Groebner basis G = {g1,...,gN}, the original ring of the Letterplace ring has the name 'r' and no variable is called 'tag_i' for i in 1...N
+RETURN: list L
+NOTE: - L[1] NF(p,I)
+      - L[2] list of expressions [i,l_{ij},r_{ij}] with \sum_{i,j} l_{ij} g_i r_{ij} = p - NF(p,I)
+"
+{
+  if (p == 0 || size(I) == 0) {
+    list L = 0;
+    list empty;
+    L[2] = empty;
+    return (L);
+  }
+  poly pNF = lpNF(p,I);
+  p = p - pNF;
+
+  // make new ring
+  def save = basering;
+  int norigvars = nvars(r);
+  string tagvarstr = "(tag_1";
+  for (int i = 2; i <= size(I); i++) {
+    tagvarstr = tagvarstr + ",tag_" + string(i);
+  } kill i;
+  tagvarstr = tagvarstr + ")";
+  string field = string(ringlist(r)[1]);
+  execute("ring @tags = " + field + "," + tagvarstr + ",dp;");
+  ring @tagged = (r + @tags);
+  def @R = makeLetterplaceRing(attrib(save,"uptodeg")); setring @R;
+
+  // restore vars
+  poly p = imap(save, p);
+  poly pNF = imap(save, pNF);
+  ideal I = imap(save, I);
+  for (int i = 1; i <= size(I); i++) {
+    I[i] = I[i] - var(norigvars + i);
+  } kill i;
+
+  list summands;
+  list L = pNF;
+  poly pTaggedNF = lpNF(p,I);
+  pTaggedNF = pTaggedNF * leadcoef(p); // somehow pTaggedNF gets normalized
+  for (int i = 1; i <= size(pTaggedNF); i++) {
+    intvec iv = lp2iv(pTaggedNF[i]);
+    for (int j = 1; j <= size(iv); j++) {
+      if (iv[j] > norigvars) {
+        intvec left;
+        intvec right;
+        if (j > 1) {
+          left = iv[1..(j-1)];
+        }
+        if (j < size(iv)) {
+          right = iv[(j+1)..size(iv)];
+        }
+        list summand = (iv[j] - norigvars), leadcoef(pTaggedNF[i])*iv2lp(left), iv2lp(right);
+        summands = insert(summands, summand, size(summands));
+
+        kill left;
+        kill right;
+        kill summand;
+        break;
+      }
+    } kill j;
+    kill iv;
+  } kill i;
+
+  L[2] = summands;
+
+  setring save;
+  list L = imap(@R,L);
+  return (L);
+}
+
+proc lpGBPres2Poly(list L, ideal I)
+"ASSUME: L is a valid Groebner presentation as for example the result of lpDivision
+RETURN: poly
+NOTE: computes p = \sum_{i,j} l_{ij} g_i r_{ij} + NF(p,I) = \sum_{i} L[2][i][2] I[L[2][i][1]] L[2][i][3] + L[1]
+"
+{
+  poly p;
+  for (int i = 1; i <= size(L[2]); i++) {
+    p = p + lpMult(lpMult(L[2][i][2], I[L[2][i][1]]), L[2][i][3]);
+  }
+  p = p + L[1];
+  return (p);
+}
+
 //procedures to convert monomials into the DVec representation, all static
 ////////////////////////////////////////////////////////