Changeset 5cb9ec in git for kernel


Ignore:
Timestamp:
Aug 25, 2010, 5:43:19 PM (14 years ago)
Author:
Oleksandr Motsak <motsak@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'c5facdfddea2addfd91babd8b9019161dea4b695')
Children:
f9bb6862e22f14387a67696733ad2d1024a69ade
Parents:
7716999192c3c1585b7eb5da3b21a439b95aaf59
Message:
p_Setm_general: fixing the usage of p_SetExp/p_GetExp while doing induced orderings



git-svn-id: file:///usr/local/Singular/svn/trunk@13151 2c84dea3-7e68-4137-9b89-c4e89433aadc
File:
1 edited

Legend:

Unmodified
Added
Removed

  • kernel/p_polys.cc

    r7716999 r5cb9ec  
    218218            if( vo != -1) // TODO: optimize: can be done once!
    219219            {
    220               p_SetExp(p, p_GetExp(p, i, r), vo, r); // copy put them verbatim
    221               assume( p_GetExp(p, vo, r) == p_GetExp(p, i, r) ); // copy put them verbatim
     220              // Hans! Please don't break it again! p_SetExp(p, ..., r, vo) is correct:
     221              p_SetExp(p, p_GetExp(p, i, r), r, vo); // copy put them verbatim
     222              // Hans! Please don't break it again! p_GetExp(p, r, vo) is correct:
     223              assume( p_GetExp(p, r, vo) == p_GetExp(p, i, r) ); // copy put them verbatim
    222224            }
    223225          }
    … …  
    231233            if( vo != -1) // TODO: optimize: can be done once!
    232234            {
    233               assume( p_GetExp(p, vo, r) == p_GetExp(p, i, r) ); // copy put them verbatim
     235              // Hans! Please don't break it again! p_GetExp(p, r, vo) is correct:
     236              assume( p_GetExp(p, r, vo) == p_GetExp(p, i, r) ); // copy put them verbatim
    234237            }
    235238          }
    … …  
    302305              const int vo = pVarOffset[i];
    303306              if( vo != -1) // TODO: optimize: can be done once!
    304                 assume( p_GetExp(p, vo, r) == (p_GetExp(p, i, r) + p_GetExp(pp, vo, r)) );
     307                // Hans! Please don't break it again! p_GetExp(p/pp, r, vo) is correct:
     308                assume( p_GetExp(p, r, vo) == (p_GetExp(p, i, r) + p_GetExp(pp, r, vo)) );
    305309            }
    306310            // TODO: how to check this for computed values???
Note: See TracChangeset for help on using the changeset viewer.