Changeset 3a496e in git for kernel/GBEngine/kutil.cc


Ignore:
Timestamp:
Apr 2, 2022, 1:43:24 AM (2 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', '2a584933abf2a2d3082034c7586d38bb6de1a30a')
Children:
7a2538494faf011600c6289f94a22919f163bf90
Parents:
749d242967e5fc8987adbd7c02f4fbb3247c6a1b
Message:
opt: posInL etc.
File:
1 edited

Legend:

Unmodified
Added
Removed

  • kernel/GBEngine/kutil.cc

    r749d24 r3a496e  
    50035003  int an = 0;
    50045004  int en= length;
     5005  int cmp_int=currRing->OrdSgn;
    50055006
    50065007  loop
    … …  
    50085009    if (an >= en-1)
    50095010    {
    5010       if (pLmCmp(set[an].p,p.p) == currRing->OrdSgn) return an;
     5011      if (pLmCmp(set[an].p,p.p) == cmp_int) return an;
    50115012      return en;
    50125013    }
    50135014    i=(an+en) / 2;
    5014     if (pLmCmp(set[i].p,p.p) == currRing->OrdSgn) en=i;
     5015    if (pLmCmp(set[i].p,p.p) == cmp_int) en=i;
    50155016    else                                 an=i;
    50165017  }
    … …  
    50565057  int o = p.GetpFDeg();
    50575058  int op = set[length].GetpFDeg();
     5059  int cmp_int=currRing->OrdSgn;
    50585060
    50595061  if ((op < o)
    5060   || ((op == o) && (pLmCmp(set[length].p,p.p) != currRing->OrdSgn)))
     5062  || ((op == o) && (pLmCmp(set[length].p,p.p) != cmp_int)))
    50615063    return length+1;
    50625064
    … …  
    50715073      op= set[an].GetpFDeg();
    50725074      if ((op > o)
    5073       || (( op == o) && (pLmCmp(set[an].p,p.p) == currRing->OrdSgn)))
     5075      || (( op == o) && (pLmCmp(set[an].p,p.p) == cmp_int)))
    50745076        return an;
    50755077      return en;
    … …  
    50785080    op = set[i].GetpFDeg();
    50795081    if (( op > o)
    5080     || (( op == o) && (pLmCmp(set[i].p,p.p) == currRing->OrdSgn)))
     5082    || (( op == o) && (pLmCmp(set[i].p,p.p) == cmp_int)))
    50815083      en=i;
    50825084    else
    … …  
    52105212  int o = p.GetpFDeg();
    52115213  int op = set[length].GetpFDeg();
     5214  int cmp_int=currRing->OrdSgn;
    52125215
    52135216  if (( op < o)
    52145217  || (( op == o) && (set[length].length<p.length))
    52155218  || (( op == o) && (set[length].length == p.length)
    5216      && (pLmCmp(set[length].p,p.p) != currRing->OrdSgn)))
     5219     && (pLmCmp(set[length].p,p.p) != cmp_int)))
    52175220    return length+1;
    52185221
    … …  
    52285231      || (( op == o) && (set[an].length > p.length))
    52295232      || (( op == o) && (set[an].length == p.length)
    5230          && (pLmCmp(set[an].p,p.p) == currRing->OrdSgn)))
     5233         && (pLmCmp(set[an].p,p.p) == cmp_int)))
    52315234        return an;
    52325235      return en;
    … …  
    52375240    || (( op == o) && (set[i].length > p.length))
    52385241    || (( op == o) && (set[i].length == p.length)
    5239        && (pLmCmp(set[i].p,p.p) == currRing->OrdSgn)))
     5242       && (pLmCmp(set[i].p,p.p) == cmp_int)))
    52405243      en=i;
    52415244    else
    … …  
    53835386  int o = p.GetpFDeg() + p.ecart;
    53845387  int op = set[length].GetpFDeg()+set[length].ecart;
     5388  int cmp_int=currRing->OrdSgn;
    53855389
    53865390  if ((op < o)
    53875391  || ((op == o)
    5388      && (pLmCmp(set[length].p,p.p) != currRing->OrdSgn)))
     5392     && (pLmCmp(set[length].p,p.p) != cmp_int)))
    53895393    return length+1;
    53905394
    … …  
    53985402      op = set[an].GetpFDeg()+set[an].ecart;
    53995403      if (( op > o)
    5400       || (( op  == o) && (pLmCmp(set[an].p,p.p) == currRing->OrdSgn)))
     5404      || (( op  == o) && (pLmCmp(set[an].p,p.p) == cmp_int)))
    54015405        return an;
    54025406      return en;
    … …  
    54055409    op = set[i].GetpFDeg()+set[i].ecart;
    54065410    if (( op > o)
    5407     || (( op == o) && (pLmCmp(set[i].p,p.p) == currRing->OrdSgn)))
     5411    || (( op == o) && (pLmCmp(set[i].p,p.p) == cmp_int)))
    54085412      en=i;
    54095413    else
    … …  
    54805484  int o = p.GetpFDeg() + p.ecart;
    54815485  int op = set[length].GetpFDeg()+set[length].ecart;
     5486  int cmp_int=currRing->OrdSgn;
    54825487
    54835488  if ((op < o)
    54845489  || (( op == o) && (set[length].ecart > p.ecart))
    54855490  || (( op == o) && (set[length].ecart==p.ecart)
    5486      && (pLmCmp(set[length].p,p.p) != currRing->OrdSgn)))
     5491     && (pLmCmp(set[length].p,p.p) != cmp_int)))
    54875492    return length+1;
    54885493
    … …  
    54985503      || (( op == o) && (set[an].ecart < p.ecart))
    54995504      || (( op  == o) && (set[an].ecart==p.ecart)
    5500          && (pLmCmp(set[an].p,p.p) == currRing->OrdSgn)))
     5505         && (pLmCmp(set[an].p,p.p) == cmp_int)))
    55015506        return an;
    55025507      return en;
    … …  
    55075512    || (( op == o) && (set[i].ecart < p.ecart))
    55085513    || (( op == o) && (set[i].ecart == p.ecart)
    5509        && (pLmCmp(set[i].p,p.p) == currRing->OrdSgn)))
     5514       && (pLmCmp(set[i].p,p.p) == cmp_int)))
    55105515      en=i;
    55115516    else
    … …  
    55695574  int o = p.GetpFDeg() + p.ecart;
    55705575  int c = pGetComp(p.p)*cc;
     5576  int cmp_int=currRing->OrdSgn;
    55715577
    55725578  if (pGetComp(set[length].p)*cc < c)
    … …  
    55785584    || ((op == o) && (set[length].ecart > p.ecart))
    55795585    || ((op == o) && (set[length].ecart==p.ecart)
    5580        && (pLmCmp(set[length].p,p.p) != currRing->OrdSgn)))
     5586       && (pLmCmp(set[length].p,p.p) != cmp_int)))
    55815587      return length+1;
    55825588  }
    … …  
    55975603        || ((op == o) && (set[an].ecart < p.ecart))
    55985604        || ((op == o) && (set[an].ecart==p.ecart)
    5599            && (pLmCmp(set[an].p,p.p) == currRing->OrdSgn)))
     5605           && (pLmCmp(set[an].p,p.p) == cmp_int)))
    56005606          return an;
    56015607      }
    … …  
    56115617      || ((op == o) && (set[i].ecart < p.ecart))
    56125618      || ((op == o) && (set[i].ecart == p.ecart)
    5613          && (pLmCmp(set[i].p,p.p) == currRing->OrdSgn)))
     5619         && (pLmCmp(set[i].p,p.p) == cmp_int)))
    56145620        en=i;
    56155621      else
    … …  
    57525758  int d=p->GetpFDeg();
    57535759  int op=set[length].GetpFDeg();
     5760  int cmp_int=currRing->OrdSgn;
    57545761
    57555762  if ((op > d)
    57565763  || ((op == d) && (p->p1!=NULL)&&(set[length].p1==NULL))
    5757   || (pLmCmp(set[length].p,p->p)== currRing->OrdSgn))
     5764  || (pLmCmp(set[length].p,p->p)== cmp_int))
    57585765     return length+1;
    57595766
    … …  
    57685775      if ((op > d)
    57695776      || ((op == d) && (p->p1!=NULL) && (set[an].p1==NULL))
    5770       || (pLmCmp(set[an].p,p->p)== currRing->OrdSgn))
     5777      || (pLmCmp(set[an].p,p->p)== cmp_int))
    57715778         return en;
    57725779      return an;
    … …  
    57765783    if ((op>d)
    57775784    || ((op==d) && (p->p1!=NULL) && (set[i].p1==NULL))
    5778     || (pLmCmp(set[i].p,p->p) == currRing->OrdSgn))
     5785    || (pLmCmp(set[i].p,p->p) == cmp_int))
    57795786      an=i;
    57805787    else
    … …  
    57935800  if (length<0) return 0;
    57945801
    5795   if (pLmCmp(set[length].p,p->p)== currRing->OrdSgn)
     5802  int cmp_int=currRing->OrdSgn;
     5803
     5804  if (pLmCmp(set[length].p,p->p)== cmp_int)
    57965805    return length+1;
    57975806
    … …  
    58035812    if (an >= en-1)
    58045813    {
    5805       if (pLmCmp(set[an].p,p->p) == currRing->OrdSgn) return en;
     5814      if (pLmCmp(set[an].p,p->p) == cmp_int) return en;
    58065815      return an;
    58075816    }
    58085817    i=(an+en) / 2;
    5809     if (pLmCmp(set[i].p,p->p) == currRing->OrdSgn) an=i;
     5818    if (pLmCmp(set[i].p,p->p) == cmp_int) an=i;
    58105819    else                                 en=i;
    58115820    /*aend. fuer lazy == in !=- machen */
    … …  
    58505859{
    58515860  if (length<0) return 0;
    5852   if (pLtCmp(set[length].sig,p->sig)== currRing->OrdSgn)
     5861  int cmp_int=currRing->OrdSgn;
     5862  if (pLtCmp(set[length].sig,p->sig)==cmp_int)
    58535863    return length+1;
    58545864
    … …  
    58605870    if (an >= en-1)
    58615871    {
    5862       if (pLtCmp(set[an].sig,p->sig) == currRing->OrdSgn) return en;
     5872      if (pLtCmp(set[an].sig,p->sig) == cmp_int) return en;
    58635873      return an;
    58645874    }
    58655875    i=(an+en) / 2;
    5866     if (pLtCmp(set[i].sig,p->sig) == currRing->OrdSgn) an=i;
     5876    if (pLtCmp(set[i].sig,p->sig) == cmp_int) an=i;
    58675877    else                                      en=i;
    58685878    /*aend. fuer lazy == in !=- machen */
    … …  
    60096019{
    60106020  if (strat->syzl==0) return 0;
    6011   if (pLtCmp(strat->syz[strat->syzl-1],sig) != currRing->OrdSgn)
     6021  int cmp_int=currRing->OrdSgn;
     6022  if (pLtCmp(strat->syz[strat->syzl-1],sig) != cmp_int)
    60126023    return strat->syzl;
    60136024  int i;
    … …  
    60186029    if (an >= en-1)
    60196030    {
    6020       if (pLtCmp(strat->syz[an],sig) != currRing->OrdSgn) return en;
     6031      if (pLtCmp(strat->syz[an],sig) != cmp_int) return en;
    60216032      return an;
    60226033    }
    60236034    i=(an+en) / 2;
    6024     if (pLtCmp(strat->syz[i],sig) != currRing->OrdSgn) an=i;
     6035    if (pLtCmp(strat->syz[i],sig) != cmp_int) an=i;
    60256036    else                                      en=i;
    60266037    /*aend. fuer lazy == in !=- machen */
    … …  
    60536064  int o = p->GetpFDeg();
    60546065  int op = set[length].GetpFDeg();
     6066  int cmp_int= -currRing->OrdSgn;
    60556067
    60566068  if ((op > o)
    6057   || ((op == o) && (pLmCmp(set[length].p,p->p) != -currRing->OrdSgn)))
     6069  || ((op == o) && (pLmCmp(set[length].p,p->p) != cmp_int)))
    60586070    return length+1;
    60596071  int i;
    … …  
    60666078      op = set[an].GetpFDeg();
    60676079      if ((op > o)
    6068       || ((op == o) && (pLmCmp(set[an].p,p->p) != -currRing->OrdSgn)))
     6080      || ((op == o) && (pLmCmp(set[an].p,p->p) != cmp_int)))
    60696081        return en;
    60706082      return an;
    … …  
    60736085    op = set[i].GetpFDeg();
    60746086    if ((op > o)
    6075     || ((op == o) && (pLmCmp(set[i].p,p->p) != -currRing->OrdSgn)))
     6087    || ((op == o) && (pLmCmp(set[i].p,p->p) != cmp_int)))
    60766088      an=i;
    60776089    else
    … …  
    63516363  int o = p->GetpFDeg();
    63526364  int op = set[length].GetpFDeg();
     6365  int cmp_int= -currRing->OrdSgn;
    63536366
    63546367  if ((op > o)
    63556368  || ((op == o) && (set[length].length >p->length))
    63566369  || ((op == o) && (set[length].length <= p->length)
    6357      && (pLmCmp(set[length].p,p->p) != -currRing->OrdSgn)))
     6370     && (pLmCmp(set[length].p,p->p) != cmp_int)))
    63586371    return length+1;
    63596372  int i;
    … …  
    63686381      || ((op == o) && (set[an].length >p->length))
    63696382      || ((op == o) && (set[an].length <=p->length)
    6370          && (pLmCmp(set[an].p,p->p) != -currRing->OrdSgn)))
     6383         && (pLmCmp(set[an].p,p->p) != cmp_int)))
    63716384        return en;
    63726385      return an;
    … …  
    63776390    || ((op == o) && (set[i].length > p->length))
    63786391    || ((op == o) && (set[i].length <= p->length)
    6379        && (pLmCmp(set[i].p,p->p) != -currRing->OrdSgn)))
     6392       && (pLmCmp(set[i].p,p->p) != cmp_int)))
    63806393      an=i;
    63816394    else
    … …  
    64746487  int o = p->GetpFDeg() + p->ecart;
    64756488  int op = set[length].GetpFDeg() + set[length].ecart;
     6489  int cmp_int= -currRing->OrdSgn;
    64766490
    64776491  if ((op > o)
    6478   || ((op == o) && (pLmCmp(set[length].p,p->p) != -currRing->OrdSgn)))
     6492  || ((op == o) && (pLmCmp(set[length].p,p->p) != cmp_int)))
    64796493    return length+1;
    64806494  int i;
    … …  
    64876501      op = set[an].GetpFDeg() + set[an].ecart;
    64886502      if ((op > o)
    6489       || ((op == o) && (pLmCmp(set[an].p,p->p) != -currRing->OrdSgn)))
     6503      || ((op == o) && (pLmCmp(set[an].p,p->p) != cmp_int)))
    64906504        return en;
    64916505      return an;
    … …  
    64946508    op = set[i].GetpFDeg() + set[i].ecart;
    64956509    if ((op > o)
    6496     || ((op == o) && (pLmCmp(set[i].p,p->p) != -currRing->OrdSgn)))
     6510    || ((op == o) && (pLmCmp(set[i].p,p->p) != cmp_int)))
    64976511      an=i;
    64986512    else
    … …  
    65496563
    65506564  int o = p->GetpFDeg() + p->ecart;
     6565  int cmp_int= -currRing->OrdSgn;
    65516566
    65526567  if ((set[length].GetpFDeg() + set[length].ecart > o)
    … …  
    65556570  || ((set[length].GetpFDeg() + set[length].ecart == o)
    65566571     && (set[length].ecart == p->ecart)
    6557      && (pLmCmp(set[length].p,p->p) != -currRing->OrdSgn)))
     6572     && (pLmCmp(set[length].p,p->p) != cmp_int)))
    65586573    return length+1;
    65596574  int i;
    … …  
    65696584      || ((set[an].GetpFDeg() + set[an].ecart == o)
    65706585         && (set[an].ecart == p->ecart)
    6571          && (pLmCmp(set[an].p,p->p) != -currRing->OrdSgn)))
     6586         && (pLmCmp(set[an].p,p->p) != cmp_int)))
    65726587        return en;
    65736588      return an;
    … …  
    65796594    || ((set[i].GetpFDeg() +set[i].ecart == o)
    65806595       && (set[i].ecart == p->ecart)
    6581        && (pLmCmp(set[i].p,p->p) != -currRing->OrdSgn)))
     6596       && (pLmCmp(set[i].p,p->p) != cmp_int)))
    65826597      an=i;
    65836598    else
    … …  
    66466661  long c = pGetComp(p->p)*cc;
    66476662  int o = p->GetpFDeg() + p->ecart;
     6663  int cmp_int= -currRing->OrdSgn;
    66486664
    66496665  if (pGetComp(set[length].p)*cc > c)
    … …  
    66566672    || ((set[length].GetpFDeg() + set[length].ecart == o)
    66576673       && (set[length].ecart == p->ecart)
    6658        && (pLmCmp(set[length].p,p->p) != -currRing->OrdSgn)))
     6674       && (pLmCmp(set[length].p,p->p) != cmp_int)))
    66596675      return length+1;
    66606676  }
    … …  
    66756691        || ((set[an].GetpFDeg() + set[an].ecart == o)
    66766692           && (set[an].ecart == p->ecart)
    6677            && (pLmCmp(set[an].p,p->p) != -currRing->OrdSgn)))
     6693           && (pLmCmp(set[an].p,p->p) != cmp_int)))
    66786694          return en;
    66796695      }
    … …  
    66906706      || ((set[i].GetpFDeg() +set[i].ecart == o)
    66916707         && (set[i].ecart == p->ecart)
    6692          && (pLmCmp(set[i].p,p->p) != -currRing->OrdSgn)))
     6708         && (pLmCmp(set[i].p,p->p) != cmp_int)))
    66936709        an=i;
    66946710      else
Note: See TracChangeset for help on using the changeset viewer.