Changeset c16804 in git for Singular/kutil.cc

Timestamp:

Feb 21, 2001, 4:42:05 PM (23 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', '2a584933abf2a2d3082034c7586d38bb6de1a30a')

Children:

b71422b7e926ede7d07bf94d26c5a16aee34559f

Parents:

f06333f9eb327df01f746569cac31611aa81b0d1

Message:

*hannes: posInS, imap


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

File:

• Singular/kutil.cc (modified) (4 diffs)

Singular/kutil.cc

@@ -2 +2 @@
 *  Computer Algebra System SINGULAR     *
 ****************************************/
-/* $Id: kutil.cc,v 1.96 2001-02-21 10:39:26 Singular Exp $ */
+/* $Id: kutil.cc,v 1.97 2001-02-21 15:41:47 Singular Exp $ */
 /*
 * ABSTRACT: kernel: utils for kStd
@@ -1644 +1644 @@
   int an = 0;
   int en= length;
+  int cmp_int=pOrdSgn;
   if (currRing->MixedOrder)
   {
-    int cmp_int=pOrdSgn;
     int o=pWTotaldegree(p);
     int oo=pWTotaldegree(set[length]);
@@ -1672 +1672 @@
   else
   {
-    if (pLmCmp(set[length],p)== -pOrdSgn)
+    if (pLmCmp(set[length],p)== -cmp_int)
       return length+1;
 
@@ -1680 +1680 @@
       if (an >= en-1)
       {
-        if (pLmCmp(set[an],p) == pOrdSgn) return an;
-        if (pLmCmp(set[an],p) == -pOrdSgn) return en;
-        if (pLDeg(set[an],&dummy)<pLDeg(p,&dummy)) return an;
+        if (pLmCmp(set[an],p) == cmp_int) return an;
+        if (pLmCmp(set[an],p) == -cmp_int) return en;
+        if ((cmp_int!=1)
+        && ((pFDeg(set[an])+strat->ecartS[an])<pLDeg(p,&dummy)))
+          return an;
         return en;
       }
       i=(an+en) / 2;
-      if (pLmCmp(set[i],p) == pOrdSgn) en=i;
-      else if (pLmCmp(set[i],p) == -pOrdSgn) an=i;
+      if (pLmCmp(set[i],p) == cmp_int) en=i;
+      else if (pLmCmp(set[i],p) == -cmp_int) an=i;
       else
       {
-        if (pLDeg(set[i],&dummy)<pLDeg(p,&dummy)) en=i;
-        else                                    an=i;
+        if ((cmp_int!=1)
+        &&((pFDeg(set[i])+strat->ecartS[i])<pLDeg(p,&dummy)))
+          en=i;
+        else
+          an=i;
       }
     }