| 246 | return true; |
| 247 | } |
| 248 | bool isPurePoly(const CanonicalForm & f) |
| 249 | { |
| 250 | if (f.level()<=0) return false; |
| 251 | for (CFIterator i=f;i.hasTerms();i++) |
| 252 | { |
| 253 | if (!(i.coeff().inBaseDomain())) return false; |
| 254 | } |
| 255 | return true; |
| 256 | } |
| 257 | |
| 258 | |
| 259 | /** |
no test coverage detected