Definition at line 279 of file franzi-brp-test.cpp.
280{
282 foo.push_back(8);
283 foo.push_back(3);
285
287 {
288 cout <<
"Testing LT(): " << (bar.
LT() == 8 ?
"is good" :
"is bad")
289 << endl;
290 }
291
296 {
297 cout <<
"Testing LT(): " << (bar.
LT() == 8 ?
"is good" :
"is bad")
298 << endl;
299 }
300 if (
BRP(bar1.
LT()) != bar1)
301 {
302 cout <<
"Testing LT(): " << (bar.
LT() == 8 ?
"is good" :
"is bad")
303 << endl;
304 }
305}
Boolean (F_2-coefficient) polynomial stored as an ordered list of square-free monomials.
static struct enter_factory foo1
std::list< brMonomial > monomials
References foo1, and BRP::LT().
Referenced by main().