Changeset 2302217 in git

Timestamp:

Nov 6, 2007, 9:14:04 PM (16 years ago)

Author:

Simon King <king@…>

Branches:

(u'spielwiese', '4a9821a93ffdc22a6696668bd4f6b8c9de3e6c5f')

Children:

f85f9fd8b437e534cdda5f70e30251e4e5a9e8fc

Parents:

894377fe1ce013f6a8373f81afd184a94478f653

Message:

weightKB: improved performance; the recursive function "weightmon" is now only called after verifying that it may end up with a standard monomial.


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

File:

• Singular/LIB/standard.lib (modified) (3 diffs)

Singular/LIB/standard.lib

@@ -3 +3 @@
 //groebner mit Optionen versehen
 //////////////////////////////////////////////////////////////////////////////
-version="$Id: standard.lib,v 1.97 2007-11-06 14:56:24 Singular Exp $";
+version="$Id: standard.lib,v 1.98 2007-11-06 20:14:04 king Exp $";
 category="Miscellaneous";
 info="
@@ -2019 +2019 @@
   }
   m2=drest;
-  weightmon(va-1,m2,mm);
+  if ((mm!=0) and (reduce(mm,stdtop)==mm))
+  {
+    weightmon(va-1,m2,mm);
+  }
   while(m2>=wwtop[va])
   {
@@ -2032 +2035 @@
       }
     }
-    weightmon(va-1,m2,mm);
+     if ((mm!=0) and (reduce(mm,stdtop)==mm))
+     {
+       weightmon(va-1,m2,mm);
+     }
   }
   return();