| 217 | } |
| 218 | |
| 219 | void setMipo ( const Variable & alpha, const CanonicalForm & mipo) |
| 220 | { |
| 221 | ASSERT( alpha.level() < 0 && alpha.level() != LEVELBASE, "illegal extension" ); |
| 222 | algextensions[-alpha.level()]= ext_entry( 0, false ); |
| 223 | algextensions[-alpha.level()]= ext_entry((InternalPoly*)(conv2mipo( mipo, alpha ).getval()), true ); |
| 224 | } |
| 225 | |
| 226 | bool hasMipo( const Variable & alpha ) |
| 227 | { |
no test coverage detected