Changeset 036a5e in git for kernel/GBEngine/kstd2.cc

Timestamp:

Feb 15, 2021, 6:09:41 PM (3 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

897be4e9d0d99f6edc2785f7a335bdde34c0ad73

Parents:

7b5b095ed2434be9e1783ac23414e01c2a75fec4

Message:

new ksReducePoly

File:

• kernel/GBEngine/kstd2.cc (modified) (7 diffs)

kernel/GBEngine/kstd2.cc

@@ -736 +736 @@
     else
     {
-      ksReducePoly(h, &(strat->T[j]), NULL, NULL, strat);
+      ksReducePoly(h, &(strat->T[j]), NULL, NULL, NULL, strat);
     }
     /* printf("\nAfter small red: ");pWrite(h->p); */
@@ -842 +842 @@
     //printf("\nFound one: ");pWrite(strat->T[j].p);
     //enterT(*h, strat);
-    ksReducePoly(h, &(strat->T[j]), NULL, NULL, strat); // with debug output
+    ksReducePoly(h, &(strat->T[j]), NULL, NULL, NULL, strat); // with debug output
     //printf("\nAfter small red: ");pWrite(h->p);
     if (h->GetLmTailRing() == NULL)
@@ -970 +970 @@
     assume(strat->fromT == FALSE);
 
-    ksReducePoly(h, &(strat->T[ii]), NULL, NULL, strat);
+    ksReducePoly(h, &(strat->T[ii]), NULL, NULL, NULL, strat);
 #if SBA_PRINT_REDUCTION_STEPS
     sba_interreduction_steps++;
@@ -1715 +1715 @@
 #endif
 
-    ksReducePoly(h, &(strat->T[ii]), NULL, NULL, strat);
+    ksReducePoly(h, &(strat->T[ii]), NULL, NULL, NULL, strat);
 #if SBA_PRINT_REDUCTION_STEPS
     sba_interreduction_steps++;
@@ -1937 +1937 @@
     assume(strat->fromT == FALSE);
 
-    ksReducePoly(h,&(strat->T[ii]),strat->kNoetherTail(),NULL,strat);
+    ksReducePoly(h,&(strat->T[ii]),strat->kNoetherTail(),NULL,NULL, strat);
 #if SBA_PRINT_REDUCTION_STEPS
     sba_interreduction_steps++;
@@ -2548 +2548 @@
       if ((TEST_OPT_INTSTRATEGY) || (rField_is_Ring(currRing)))
       {
-        strat->P.pCleardenom();
+        if (TEST_OPT_IDLIFT) 
+          strat->P.pContent();
+        else
+          strat->P.pCleardenom();
         if ((TEST_OPT_REDSB)||(TEST_OPT_REDTAIL))
         {
@@ -4778 +4781 @@
     }
 #endif
-    ksReducePoly(h, &(strat->T[j]), strat->kNoetherTail(), NULL, strat);
+    ksReducePoly(h, &(strat->T[j]), strat->kNoetherTail(), NULL, NULL, strat);
 
 #ifdef KDEBUG