Changeset a9c298 in git for kernel/kspoly.cc

Timestamp:

Nov 20, 2013, 4:54:25 PM (9 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')

Children:

0de0509972719531e2a4b51ec9fd0e44a66fd2fd

Parents:

e4014563a82388c4b39dfa37db24cbe159b24a35

git-author:

Hans Schoenemann <hannes@mathematik.uni-kl.de>2013-11-20 16:54:25+01:00

git-committer:

Hans Schoenemann <hannes@mathematik.uni-kl.de>2013-11-20 16:54:42+01:00

Message:

format stuff

File:

• kernel/kspoly.cc (modified) (9 diffs)

kernel/kspoly.cc

@@ -76 +76 @@
   {
     // for the time being: we know currRing==strat->tailRing
-    // no exp-bound checking needed 
+    // no exp-bound checking needed
     // (only needed if exp-bound(tailring)<exp-b(currRing))
     if (PR->bucket!=NULL)  nc_kBucketPolyRed(PR->bucket, p2,coef);
-    else 
+    else
     {
       poly _p = (PR->t_p != NULL ? PR->t_p : PR->p);
@@ -150 +150 @@
     poly qq = p_Shrink(PR->p, currRing->isLPring, currRing);
     PR->Clear(); // does the right things
-    PR->p = qq; 
+    PR->p = qq;
     PR->t_p = NULL;
     PR->SetShortExpVector();
   }
 #endif
-  
+
 #if defined(KDEBUG) && defined(TEST_OPT_DEBUG_RED)
   if (TEST_OPT_DEBUG)
@@ -202 +202 @@
    * --------------------------------------------
    * if strat->incremental
-   * Since we are subdividing lower index and 
+   * Since we are subdividing lower index and
    * current index reductions it is enough to
    * look at the polynomial part of the signature
@@ -212 +212 @@
    * Schreyer order
    *
-   * nevertheless, this different behaviour is 
+   * nevertheless, this different behaviour is
    * taken care of by is_sigsafe
    * => one reduction procedure can be used for
@@ -258 +258 @@
     // signature of fm*p1
     if(sigSafe != 1)
-    { 
+    {
       PR->is_redundant = TRUE;
       return 3;
@@ -283 +283 @@
   {
     // for the time being: we know currRing==strat->tailRing
-    // no exp-bound checking needed 
+    // no exp-bound checking needed
     // (only needed if exp-bound(tailring)<exp-b(currRing))
     if (PR->bucket!=NULL)  nc_kBucketPolyRed(PR->bucket, p2,coef);
-    else 
+    else
     {
       poly _p = (PR->t_p != NULL ? PR->t_p : PR->p);
@@ -357 +357 @@
     poly qq = p_Shrink(PR->p, currRing->isLPring, currRing);
     PR->Clear(); // does the right things
-    PR->p = qq; 
+    PR->p = qq;
     PR->t_p = NULL;
     PR->SetShortExpVector();
@@ -485 +485 @@
     poly qq = p_Shrink(Pair->p, currRing->isLPring, currRing);
     Pair->Clear(); // does the right things
-    Pair->p = qq; 
+    Pair->p = qq;
     Pair->t_p = NULL;
     Pair->SetShortExpVector();
@@ -540 +540 @@
     poly qq = p_Shrink(PR->p, currRing->isLPring, currRing);
     PR->Clear(); // does the right things
-    PR->p = qq; 
+    PR->p = qq;
     PR->t_p = NULL;
     PR->SetShortExpVector();