Changeset 112f6ef in git


Ignore:
Timestamp:
Jan 30, 2017, 11:29:24 AM (7 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', '4a9821a93ffdc22a6696668bd4f6b8c9de3e6c5f')
Children:
9f93d92fc5f70f3bc8c46a01416c4f0c956a723d
Parents:
b0e6128cd4ba4005d49a91c2e88a53d79972edce
Message:
minor opt: cancelunit
File:
1 edited

Legend:

Unmodified
Added
Removed
  • kernel/GBEngine/kutil.cc

    rb0e612 r112f6ef  
    397397        return;
    398398      }
    399       i = 0;
     399      i = rVar(r);
    400400      loop
    401401      {
    402         i++;
    403         if (p_GetExp(p,i,r) > p_GetExp(h,i,r)) return ; // does not divide
    404         if (i == r->N) break; // does divide, try next monom
     402        if (p_GetExp(p,i,r) > p_GetExp(h,i,r)) return; // does not divide
     403        i--;
     404        if (i == 0) break; // does divide, try next monom
    405405      }
    406406      //wrp(p); PrintS(" divide ");wrp(h); PrintLn();
     
    457457        return;
    458458      }
    459       i = 0;
     459      i = rVar(r);
    460460      loop
    461461      {
    462         i++;
    463         if (p_GetExp(p,i,r) > p_GetExp(h,i,r)) return ; // does not divide
    464         if (i == r->N) break; // does divide, try next monom
     462        if (p_GetExp(p,i,r) > p_GetExp(h,i,r)) return; // does not divide
     463        i--;
     464        if (i == 0) break; // does divide, try next monom
    465465      }
    466466      //wrp(p); PrintS(" divide ");wrp(h); PrintLn();
Note: See TracChangeset for help on using the changeset viewer.