Definition at line 138 of file franzi-brp.cpp.
139{
141 monomials::const_iterator
end =
m.end();
143 for (monomials::const_iterator it =
m.begin(); it !=
end; it++)
144 {
147 {
148 tmp.push_back(mono);
149 }
150 }
152}
static bool isDivisibleBy(const brMonomial &a, const brMonomial &b)
std::list< brMonomial > monomials
TermIterator< Nterm > end(Nterm *)
References BRP(), end(), isDivisibleBy(), m, and x.
Referenced by testRemainder().