Changeset a1d4a2 in git for kernel/GBEngine/kstd2.cc

Timestamp:

Dec 7, 2017, 3:03:46 PM (6 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b4f17ed1d25f93d46dbe29e4b499baecc2fd51bb')

Children:

81038180860cfecce4f0b4f60634f60a4457b26d

Parents:

06b3e84d21e073249ada6d3b863bb3b8ce91d3be

Message:

chg: no tailRing for freegb (LetterPlace)

File:

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

kernel/GBEngine/kstd2.cc

@@ -4069 +4069 @@
   kTest_TS(strat);
 
-#ifdef HAVE_TAIL_RING
-  kStratInitChangeTailRing(strat);
-#endif
-
   /* compute------------------------------------------------------- */
   while (strat->Ll >= 0)
@@ -4109 +4105 @@
       poly m1 = NULL, m2 = NULL;
 
-      // check that spoly creation is ok
-      while (strat->tailRing != currRing &&
-             !kCheckSpolyCreation(&(strat->P), strat, m1, m2))
-      {
-        assume(m1 == NULL && m2 == NULL);
-        // if not, change to a ring where exponents are at least
-        // large enough
-        kStratChangeTailRing(strat);
-      }
       // create the real one
       ksCreateSpoly(&(strat->P), NULL, strat->use_buckets,
@@ -4159 +4146 @@
          /* Shrink is zero, like y(1)*y(2) - y(1)*y(3)*/
 #ifdef KDEBUG
-         if (TEST_OPT_DEBUG){PrintS("nonzero s shrinks to 0");PrintLn();}
+         if (TEST_OPT_DEBUG){PrintS("nonzero s shrinks to 0\n");}
 #endif
          //         strat->P.Delete();  // cause error