97{
99 foo.push_back(3);
100 foo.push_back(2);
101 foo.push_back(1);
107
109
110
111 BRP bar3 = bar + bar2;
112
113
115 foo3.push_back(5);
116 foo3.push_back(4);
117 foo3.push_back(2);
118 foo3.push_back(1);
119
121
122 if (bar3 != bar4)
123 {
124 cout << "Testing addition: " << (bar3 == bar4 ? "is good" : "is bad")
125 << endl;
126 }
132
133 if (c != correct)
134 {
135 cout << "Addition failed" << endl;
136 }
137}
Boolean (F_2-coefficient) polynomial stored as an ordered list of square-free monomials.
static struct enter_factory foo2
std::list< brMonomial > monomials