Changeset c903a3 in git for kernel/kInline.cc

Timestamp:

Feb 1, 2007, 5:39:30 PM (17 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

f4b74e24435694d98ef9a9bec0af428cd1ff0629

Parents:

db70a23edf7040a3fa40d7ac55c0c84cd08b970e

Message:

*hannes:clearS -> kInline.cc


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

File:

• kernel/kInline.cc (modified) (2 diffs)

kernel/kInline.cc

@@ -7 +7 @@
  *  Author:  obachman (Olaf Bachmann)
  *  Created: 8/00
- *  Version: $Id: kInline.cc,v 1.3 2006-05-08 12:55:10 Singular Exp $
+ *  Version: $Id: kInline.cc,v 1.4 2007-02-01 16:39:30 Singular Exp $
  *******************************************************************/
 #ifndef KINLINE_CC
@@ -1045 +1045 @@
 }
 
+static inline void clearS (poly p, unsigned long p_sev, int* at, int* k,
+                    kStrategy strat)
+{
+  assume(p_sev == pGetShortExpVector(p));
+  if (strat->noClearS) return;
+  if (!pLmShortDivisibleBy(p,p_sev, strat->S[*at], ~ strat->sevS[*at])) return;
+  deleteInS((*at),strat);
+  (*at)--;
+  (*k)--;
+}
+
 #endif // defined(KINLINE) || defined(KUTIL_CC)
 #endif // KINLINE_CC