Changeset 3a961a in git for libpolys/polys/shiftop.cc


Ignore:
Timestamp:
Jul 5, 2018, 9:54:56 PM (5 years ago)
Author:
Karim Abou Zeid <karim23697@…>
Branches:
(u'spielwiese', 'e7cc1ebecb61be8b9ca6c18016352af89940b21a')
Children:
f6737053e8a61a659306021d5ac217163169d724
Parents:
c0632a415538219793d1d2b77ce38c37fcaf35f7
Message:
SHIFT_MULT_COMPAT_MODE is ready to be disabled now
File:
1 edited

Legend:

Unmodified
Added
Removed

  • libpolys/polys/shiftop.cc

    rc0632a4 r3a961a  
    9494  p_LPUnShift(p, ri);
    9595#else
    96   assume(p_mFirstVblock(_m, lV, ri) <= 1);
    97   assume(p_FirstVblock(p, lV, ri) <= 1); // TODO check that each block is <=1
     96  assume(p_mFirstVblock(_m, ri) <= 1);
     97  assume(p_FirstVblock(p, ri) <= 1); // TODO check that each block is <=1
    9898#endif
    9999  // at this point _m and p are shifted to 1
    … …  
    154154  p_LPUnShift(p, ri);
    155155#else
    156   assume(p_mFirstVblock(_m, lV, ri) <= 1);
    157   assume(p_FirstVblock(p, lV, ri) <= 1); // TODO check that each block is <=1
     156  assume(p_mFirstVblock(_m, ri) <= 1);
     157  assume(p_FirstVblock(p, ri) <= 1); // TODO check that each block is <=1
    158158#endif
    159159  // at this point _m and p are shifted to 1
    … …  
    217217  p_LPUnShift(p, ri);
    218218#else
    219   assume(p_mFirstVblock(_m, lV, ri) <= 1);
    220   assume(p_FirstVblock(p, lV, ri) <= 1); // TODO check that each block is <=1
     219  assume(p_mFirstVblock(_m, ri) <= 1);
     220  assume(p_FirstVblock(p, ri) <= 1); // TODO check that each block is <=1
    221221#endif
    222222  // at this point _m and p are shifted to 1
Note: See TracChangeset for help on using the changeset viewer.