Changeset 183688 in git for factory/variable.cc


Ignore:
Timestamp:
Aug 1, 2012, 9:26:50 PM (12 years ago)
Author:
Martin Lee <martinlee84@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b52fc4b2495505785981d640dcf7eb3e456778ef')
Children:
2d71dd455de206f556c8c2200d3bc739a4a48ebb
Parents:
21263cf68eb94ca94f4b65c4464312b7892f411e
git-author:
Martin Lee <martinlee84@web.de>2012-08-01 21:26:50+02:00
git-committer:
Martin Lee <martinlee84@web.de>2012-08-03 10:03:18+02:00
Message:
chg: if variable has level LEVELBASE it has no minpoly
File:
1 edited

Legend:

Unmodified
Added
Removed
  • factory/variable.cc

    r21263cf r183688  
    223223bool hasMipo( const Variable & alpha )
    224224{
    225     ASSERT( alpha.level() < 0 && alpha.level() != LEVELBASE, "illegal extension" );
    226     return ((algextensions!=NULL) && getReduce(alpha) );
     225    ASSERT( alpha.level() < 0, "illegal extension" );
     226    return (alpha.level() != LEVELBASE && (algextensions!=NULL) && getReduce(alpha) );
    227227}
    228228
Note: See TracChangeset for help on using the changeset viewer.