Changeset f7db36 in git

Timestamp:

Jul 6, 2015, 12:09:07 PM (8 years ago)

Author:

Adi Popescu <adi_popescum@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

3ffb5ca871047be87892fe8263ef80dbf59f2f04

Parents:

83b334dad0b1a90e01e1ae2ea14eb8a09c1c3709

Message:

fix: clearS for ZZ

File:

• kernel/GBEngine/kInline.h (modified) (1 diff)

kernel/GBEngine/kInline.h

@@ -1148 +1148 @@
   assume(p_sev == pGetShortExpVector(p));
   if (strat->noClearS) return;
-  if (!pLmShortDivisibleBy(p,p_sev, strat->S[*at], ~ strat->sevS[*at])) return;
+  #if HAVE_RINGS
+    if(rField_is_Ring(currRing))
+    {
+        if (!pLmShortDivisibleBy(p,p_sev, strat->S[*at], ~ strat->sevS[*at]))
+            return;
+        if(!n_DivBy(pGetCoeff(strat->S[*at]), pGetCoeff(p), currRing))
+            return;
+    }
+    else
+    {
+        if (!pLmShortDivisibleBy(p,p_sev, strat->S[*at], ~ strat->sevS[*at])) return;
+    }
+  #else
+    if (!pLmShortDivisibleBy(p,p_sev, strat->S[*at], ~ strat->sevS[*at])) return;
+  #endif
   deleteInS((*at),strat);
   (*at)--;