Changeset 6a81f8 in git

Timestamp:

Jul 16, 2001, 10:51:48 AM (22 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', 'ec94ef7a30b928574c0c3daf41f6804dff5f6b69')

Children:

ab9b401ab1d48c10050bca4ee28dbd6dcde72b18

Parents:

409020f4846b2e67e3e541d8288ef4e479652c98

Message:

*hannes: coef-bug


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

File:

• Singular/matpol.cc (modified) (7 diffs)

Singular/matpol.cc

@@ -2 +2 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-/* $Id: matpol.cc,v 1.41 2001-04-05 15:41:09 Singular Exp $ */
+/* $Id: matpol.cc,v 1.42 2001-07-16 08:51:48 Singular Exp $ */
 
 /*
@@ -40 +40 @@
 static poly minuscopy (poly p);
 static poly pInsert(poly p1, poly p2);
-static poly mpExdiv ( poly m, poly d);
+static poly mpExdiv ( poly m, poly d, poly vars);
 static poly mpSelect (poly fro, poly what);
 
@@ -841 +841 @@
       if (i!=pos_of_1)
       {
-        h = mpExdiv(f, MATELEM(co,1,i));
+        h = mpExdiv(f, MATELEM(co,1,i),vars);
         if (h!=NULL)
         {
@@ -853 +853 @@
         if (pos_of_1 != -1)
         {
-          h = mpExdiv(f, MATELEM(co,1,pos_of_1));
+          h = mpExdiv(f, MATELEM(co,1,pos_of_1),vars);
           if (h!=NULL)
           {
@@ -871 +871 @@
 *exact divisor: let d  == x^i*y^j, m is thought to have only one term;
 *    return m/d iff d divides m, and no x^k*y^l (k>i or l>j) divides m
-*/
-static poly mpExdiv ( poly m, poly d)
+* consider all variables in vars
+*/
+static poly mpExdiv ( poly m, poly d, poly vars)
 {
   int i;
@@ -878 +879 @@
   for (i=1; i<=pVariables; i++)
   {
-    if (pGetExp(d,i) > 0)
+    if (pGetExp(vars,i) > 0)
     {
       if (pGetExp(d,i) != pGetExp(h,i))
@@ -937 +938 @@
       if (mp!=NULL)
       {
-        h = mpExdiv(v, mp /*MATELEM(*m,j,i)*/);
+        h = mpExdiv(v, mp /*MATELEM(*m,j,i)*/, mp);
         if (h!=NULL)
         {