Changeset 107986 in git for kernel/polys.cc

Timestamp:

Jul 25, 2008, 4:37:55 PM (15 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')

Children:

356960f1a09d63bc25ab2b04269bb1f6ce67fd28

Parents:

7a6c062bb1546ba06ab19b759243b02e83b52197

Message:

*hannes: part stuff ,const ring


git-svn-id: file:///usr/local/Singular/svn/trunk@10909 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• kernel/polys.cc (modified) (4 diffs)

kernel/polys.cc

@@ -2 +2 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-/* $Id: polys.cc,v 1.33 2008-07-15 15:29:15 wienand Exp $ */
+/* $Id: polys.cc,v 1.34 2008-07-25 14:37:55 Singular Exp $ */
 
 /*
@@ -209 +209 @@
 * convert monomial given as string to poly, e.g. 1x3y5z
 */
-const char * p_Read(const char *st, poly &rc, ring r)
+const char * p_Read(const char *st, poly &rc, const ring r)
 {
   if (r==NULL) { rc=NULL;return st;}
@@ -782 +782 @@
 *normalize all coefficients
 */
-void p_Normalize(poly p, ring r)
+void p_Normalize(poly p,const ring r)
 {
   if (rField_has_simple_inverse(r)) return; /* Z/p, GF(p,n), R, long R/C */
@@ -1041 +1041 @@
   return FALSE;
 }
+BOOLEAN pCompareChainPart (poly p,poly p1,poly p2,poly lcm)
+{
+  int k, j;
+
+  if (lcm==NULL) return FALSE;
+
+  for (j=currRing->real_var_end; j>=currRing->real_var_start; j--)
+    if ( pGetExp(p,j) >  pGetExp(lcm,j)) return FALSE;
+  if ( pGetComp(p) !=  pGetComp(lcm)) return FALSE;
+  for (j=currRing->real_var_end; j>=currRing->real_var_start; j--)
+  {
+    if (pGetExp(p1,j)!=pGetExp(lcm,j))
+    {
+      if (pGetExp(p,j)!=pGetExp(lcm,j))
+      {
+        for (k=pVariables; k>j; k--)
+        for (k=currRing->real_var_end; k>j; k--)
+        {
+          if ((pGetExp(p,k)!=pGetExp(lcm,k))
+          && (pGetExp(p2,k)!=pGetExp(lcm,k)))
+            return TRUE;
+        }
+        for (k=j-1; k>=currRing->real_var_start; k--)
+        {
+          if ((pGetExp(p,k)!=pGetExp(lcm,k))
+          && (pGetExp(p2,k)!=pGetExp(lcm,k)))
+            return TRUE;
+        }
+        return FALSE;
+      }
+    }
+    else if (pGetExp(p2,j)!=pGetExp(lcm,j))
+    {
+      if (pGetExp(p,j)!=pGetExp(lcm,j))
+      {
+        for (k=currRing->real_var_end; k>j; k--)
+        {
+          if ((pGetExp(p,k)!=pGetExp(lcm,k))
+          && (pGetExp(p1,k)!=pGetExp(lcm,k)))
+            return TRUE;
+        }
+        for (k=j-1; k>=currRing->real_var_start; k--)
+        {
+          if ((pGetExp(p,k)!=pGetExp(lcm,k))
+          && (pGetExp(p1,k)!=pGetExp(lcm,k)))
+            return TRUE;
+        }
+        return FALSE;
+      }
+    }
+  }
+  return FALSE;
+}
 
 int pSize(poly p)