Changeset 15fbfe0 in git for libpolys/polys/shiftop.cc

Timestamp:

Nov 23, 2018, 9:57:32 AM (5 years ago)

Author:

Karim Abou Zeid <karim23697@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

b95a5fd690d6e706af819dfdf1070a990219bf41

Parents:

6b0b41353343d43decc1e6b69445b44cca8cd850352a92c88d03b3b9cf5dcabdeb7619670ccc7228

Message:

Merge branch 'spielwiese' into rightGB

File:

• libpolys/polys/shiftop.cc (modified) (1 diff)

libpolys/polys/shiftop.cc

@@ -579 +579 @@
   }
   return StringEndS();
+}
+
+// splits a frame (e.g. x(1)*y(5)) m1 into m1 and m2 (e.g. m1=x(1) and m2=y(1))
+// according to p which is inside the frame
+void k_SplitFrame(poly &m1, poly &m2, int at, const ring r)
+{
+  int lV = r->isLPring;
+
+  number m1Coeff = pGetCoeff(m1);
+
+  int hole = lV * at;
+  m2 = p_GetExp_k_n(m1, 1, hole, r);
+  m1 = p_GetExp_k_n(m1, hole, r->N, r);
+
+  p_mLPunshift(m2, r);
+  p_SetCoeff(m1, m1Coeff, r);
+
+  assume(p_FirstVblock(m1,r) <= 1);
+  assume(p_FirstVblock(m2,r) <= 1);
 }