Changeset 183688 in git for factory


Ignore:
Timestamp:
Aug 1, 2012, 9:26:50 PM (12 years ago)
Author:
Martin Lee <martinlee84@…>
Branches:
(u'spielwiese', '5b153614cbc72bfa198d75b1e9e33dab2645d9fe')
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
Location:
factory
Files:
2 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
  • factory/variable.h

    r21263cf r183688  
    7878inline char name( const Variable & v ) { return v.name(); }
    7979
     80void setReduce( const Variable & alpha, bool reduce );
    8081void setMipo ( const Variable & alpha, const CanonicalForm & mipo);
    8182CanonicalForm getMipo( const Variable & alpha, const Variable & x );
     
    9495InternalPoly * getInternalMipo ( const Variable & alpha );
    9596bool getReduce( const Variable & alpha );
    96 void setReduce( const Variable & alpha, bool reduce );
    9797
    9898#endif /* ! INCL_VARIABLE_H */
Note: See TracChangeset for help on using the changeset viewer.