Changeset a23f7b in git


Ignore:
Timestamp:
Aug 14, 2014, 2:51:19 PM (10 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', '60097d763e0b541617a3b864b5310c523edaf81d')
Children:
35492109ebef7d2432ef034b5f3650b033db0d39
Parents:
92740ae135e1d7c33f0b612e250935e942dcb1f9
Message:
fix: dangling else in updateResult (if cf is not a field)
File:
1 edited

Legend:

Unmodified
Added
Removed
  • kernel/GBEngine/kutil.cc

    r92740ae ra23f7b  
    79077907    poly p;
    79087908    BOOLEAN reduction_found=FALSE;
    7909     for (l=IDELEMS(r)-1;l>=0;l--)
    7910     {
    7911       if (r->m[l]!=NULL)
    7912       {
    7913         for(q=IDELEMS(Q)-1; q>=0;q--)
    7914         {
    7915           if ((Q->m[q]!=NULL)&&(pLmEqual(Q->m[q],r->m[l])))
     7909    if (!rField_is_Ring(currRing))
     7910    {
     7911      for (l=IDELEMS(r)-1;l>=0;l--)
     7912      {
     7913        if (r->m[l]!=NULL)
     7914        {
     7915          for(q=IDELEMS(Q)-1; q>=0;q--)
    79167916          {
    7917             #ifdef HAVE_RINGS
    7918             //Also need divisibility of the leading coefficients
    7919             if((!rField_is_Ring(currRing)) || (pDivisibleBy(Q->m[q],r->m[l])))
    7920             #endif
    7921             if (TEST_OPT_REDSB)
     7917            if ((Q->m[q]!=NULL)&&(pLmEqual(Q->m[q],r->m[l])))
    79227918            {
    7923               p=r->m[l];
    7924               r->m[l]=kNF(Q,NULL,p);
    7925               pDelete(&p);
    7926               reduction_found=TRUE;
     7919              if (TEST_OPT_REDSB)
     7920              {
     7921                p=r->m[l];
     7922                r->m[l]=kNF(Q,NULL,p);
     7923                pDelete(&p);
     7924                reduction_found=TRUE;
     7925              }
     7926              else
     7927              {
     7928                pDelete(&r->m[l]); // and set it to NULL
     7929              }
     7930              break;
    79277931            }
    7928             else
     7932          }
     7933        }
     7934      }
     7935    }
     7936    #ifdef HAVE_RINGS
     7937    //Also need divisibility of the leading coefficients
     7938    else
     7939    {
     7940      for (l=IDELEMS(r)-1;l>=0;l--)
     7941      {
     7942        if (r->m[l]!=NULL)
     7943        {
     7944          for(q=IDELEMS(Q)-1; q>=0;q--)
     7945          {
     7946            if ((Q->m[q]!=NULL)&&(pLmEqual(Q->m[q],r->m[l]))
     7947            && pDivisibleBy(Q->m[q],r->m[l]))
    79297948            {
    7930               pDelete(&r->m[l]); // and set it to NULL
     7949              if (TEST_OPT_REDSB)
     7950              {
     7951                p=r->m[l];
     7952                r->m[l]=kNF(Q,NULL,p);
     7953                pDelete(&p);
     7954                reduction_found=TRUE;
     7955              }
     7956              else
     7957              {
     7958                pDelete(&r->m[l]); // and set it to NULL
     7959              }
     7960              break;
    79317961            }
    7932             break;
    79337962          }
    79347963        }
    79357964      }
    79367965    }
     7966    #endif
    79377967    if (/*TEST_OPT_REDSB &&*/ reduction_found)
    79387968    {
Note: See TracChangeset for help on using the changeset viewer.