Changeset 183688 in git for factory/variable.cc


Ignore:
Timestamp:
Aug 1, 2012, 9:26:50 PM (11 years ago)
Author:
Martin Lee <martinlee84@…>
Branches:
(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '1d362c315e551a5b527ab0759f8839cf0e94f3a5')
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.