Macaulay2 Engine
Loading...
Searching...
No Matches

◆ remainder()

BRP BRP::remainder ( const BRP & x) const

Definition at line 138 of file franzi-brp.cpp.

139{
140 monomials tmp;
141 monomials::const_iterator end = m.end();
142 brMonomial xx = x.LT();
143 for (monomials::const_iterator it = m.begin(); it != end; it++)
144 {
145 brMonomial mono = *it;
146 if (!isDivisibleBy(mono, xx))
147 {
148 tmp.push_back(mono); // don't remove doubles, there shouldn't be any
149 }
150 }
151 return BRP(tmp);
152}
static bool isDivisibleBy(const brMonomial &a, const brMonomial &b)
monomials m
unsigned long brMonomial
std::list< brMonomial > monomials
volatile int x
TermIterator< Nterm > end(Nterm *)
Definition ringelem.cpp:5

References BRP(), end(), isDivisibleBy(), m, and x.

Referenced by testRemainder().