- Timestamp:
- Aug 1, 2012, 9:26:50 PM (12 years ago)
- 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
- Location:
- factory
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
factory/variable.cc
r21263cf r183688 223 223 bool hasMipo( const Variable & alpha ) 224 224 { 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) ); 227 227 } 228 228 -
factory/variable.h
r21263cf r183688 78 78 inline char name( const Variable & v ) { return v.name(); } 79 79 80 void setReduce( const Variable & alpha, bool reduce ); 80 81 void setMipo ( const Variable & alpha, const CanonicalForm & mipo); 81 82 CanonicalForm getMipo( const Variable & alpha, const Variable & x ); … … 94 95 InternalPoly * getInternalMipo ( const Variable & alpha ); 95 96 bool getReduce( const Variable & alpha ); 96 void setReduce( const Variable & alpha, bool reduce );97 97 98 98 #endif /* ! INCL_VARIABLE_H */
Note: See TracChangeset
for help on using the changeset viewer.