Changeset 164e05 in git


Ignore:
Timestamp:
Nov 17, 2022, 12:02:14 PM (3 months ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', 'ad2543eab51733612ba7d118afc77edca719600e')
Children:
073b8bec385cec2c5a3fd52795d85bdc3047485b
Parents:
4be499482c59e5144efe25ae812ae5d6f4d2b79f
Message:
simplify kFind*
Location:
kernel/GBEngine
Files:
3 edited

Legend:

Unmodified
Added
Removed
  • kernel/GBEngine/kstd2.cc

    r4be499 r164e05  
    296296        if ((T[j].p!=NULL)
    297297        && p_LmShortDivisibleBy(T[j].p, sevT[j],p, not_sev, r))
    298         {
    299           if(n_DivBy(pGetCoeff(p), pGetCoeff(T[j].p), r->cf))
    300             return j;
    301         }
    302298#else
    303299        if (!(sevT[j] & not_sev)
    304300        && (T[j].p!=NULL)
    305301        && p_LmDivisibleBy(T[j].p, p, r))
     302#endif
    306303        {
    307304          if(n_DivBy(pGetCoeff(p), pGetCoeff(T[j].p), r->cf))
    308305            return j;
    309306        }
    310 #endif
    311307        j++;
    312308      }
     
    320316        if ((T[j].p!=NULL)
    321317        && p_LmShortDivisibleBy(T[j].p, sevT[j],p, not_sev, r))
    322         {
    323           return j;
    324         }
    325318#else
    326319        if (!(sevT[j] & not_sev)
    327320        && (T[j].p!=NULL)
    328321        && p_LmDivisibleBy(T[j].p, p, r))
     322#endif
    329323        {
    330324          return j;
    331325        }
    332 #endif
    333326        j++;
    334327      }
     
    347340        if (p_LmShortDivisibleBy(T[j].t_p, sevT[j],
    348341                               p, not_sev, r))
    349         {
    350           if(n_DivBy(pGetCoeff(p), pGetCoeff(T[j].t_p), r->cf))
    351             return j;
    352         }
    353342#else
    354343        if (!(sevT[j] & not_sev) &&
    355344          p_LmDivisibleBy(T[j].t_p, p, r))
     345#endif
    356346        {
    357347          if(n_DivBy(pGetCoeff(p), pGetCoeff(T[j].t_p), r->cf))
    358348            return j;
    359349        }
    360 #endif
    361350        j++;
    362351      }
     
    370359        if (p_LmShortDivisibleBy(T[j].t_p, sevT[j],
    371360                               p, not_sev, r))
    372         {
    373           return j;
    374         }
    375361#else
    376362        if (!(sevT[j] & not_sev) &&
    377363          p_LmDivisibleBy(T[j].t_p, p, r))
     364#endif
    378365        {
    379366          return j;
    380367        }
    381 #endif
    382368        j++;
    383369      }
     
    418404      if (p_LmShortDivisibleBy(strat->S[j], strat->sevS[j],
    419405                             p, not_sev, currRing))
    420       {
    421         if(n_DivBy(pGetCoeff(p), pGetCoeff(strat->S[j]), currRing->cf))
    422           return j;
    423       }
    424406#else
    425407      if ( !(strat->sevS[j] & not_sev) &&
    426408         p_LmDivisibleBy(strat->S[j], p, currRing))
     409#endif
    427410      {
    428411        if(n_DivBy(pGetCoeff(p), pGetCoeff(strat->S[j]), currRing->cf))
    429412          return j;
    430413      }
    431 #endif
    432414      j++;
    433415    }
     
    441423      if (p_LmShortDivisibleBy(strat->S[j], strat->sevS[j],
    442424                             p, not_sev, currRing))
    443       {
    444         return j;
    445       }
    446425#else
    447426      if ( !(strat->sevS[j] & not_sev) &&
    448427         p_LmDivisibleBy(strat->S[j], p, currRing))
     428#endif
    449429      {
    450430        return j;
    451431      }
    452 #endif
    453432      j++;
    454433    }
     
    476455      if (p_LmShortDivisibleBy(strat->S[j], strat->sevS[j],
    477456                             p, not_sev, currRing))
    478       {
    479         if(n_DivBy(pGetCoeff(p), pGetCoeff(strat->S[j]), currRing->cf))
    480           return j;
    481       }
    482457#else
    483458      if ( !(strat->sevS[j] & not_sev) &&
    484459         p_LmDivisibleBy(strat->S[j], p, currRing))
     460#endif
    485461      {
    486462        if(n_DivBy(pGetCoeff(p), pGetCoeff(strat->S[j]), currRing->cf))
    487463          return j;
    488464      }
    489 #endif
    490465      j++;
    491466    }
     
    499474      if (p_LmShortDivisibleBy(strat->S[j], strat->sevS[j],
    500475                             p, not_sev, currRing))
    501       {
    502         return j;
    503       }
    504476#else
    505477      if ( !(strat->sevS[j] & not_sev) &&
    506478         p_LmDivisibleBy(strat->S[j], p, currRing))
     479#endif
    507480      {
    508481        return j;
    509482      }
    510 #endif
    511483      j++;
    512484    }
  • kernel/GBEngine/kutil.cc

    r4be499 r164e05  
    70267026        if (strat->S[j]!= NULL && p_LmShortDivisibleBy(strat->S[j], sev[j], p, not_sev, r) &&
    70277027            (ecart== LONG_MAX || ecart>= strat->ecartS[j]))
    7028         {
    7029             break;
    7030         }
    70317028  #else
    70327029        if (!(sev[j] & not_sev) &&
    70337030            (ecart== LONG_MAX || ecart>= strat->ecartS[j]) &&
    70347031            p_LmDivisibleBy(strat->S[j], p, r))
    7035         {
    7036           break;
    7037         }
    70387032  #endif
     7033        {
     7034            break;
     7035        }
    70397036        j++;
    70407037      }
     
    70517048        && (ecart== LONG_MAX || ecart>= strat->ecartS[j])
    70527049        && n_DivBy(pGetCoeff(p), pGetCoeff(strat->S[j]), r->cf))
    7053         {
    7054           break; // found
    7055         }
    70567050  #else
    70577051        if (!(sev[j] & not_sev)
     
    70597053        && p_LmDivisibleBy(strat->S[j], p, r)
    70607054        && n_DivBy(pGetCoeff(p), pGetCoeff(strat->S[j]), r->cf))
     7055  #endif
    70617056        {
    70627057          break; // found
    70637058        }
    7064   #endif
    70657059        j++;
    70667060      }
  • kernel/GBEngine/kutil.h

    r4be499 r164e05  
    352352  int Bl,Bmax;
    353353  int ak,LazyDegree,LazyPass;
    354   int syzComp;
     354  unsigned syzComp;
    355355  int lastAxis;
    356356  int newIdeal;
Note: See TracChangeset for help on using the changeset viewer.