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

◆ testAddition4()

void testAddition4 ( )

Definition at line 167 of file franzi-brp-test.cpp.

168{
169 BRP a = BRP(35) + BRP(16) + BRP(15) + BRP(5) + BRP(2) + BRP(0);
170 BRP b = BRP(35) + BRP(13) + BRP(12) + BRP(6) + BRP(4) + BRP(2) + BRP(1);
171 BRP c = a + b;
172 BRP correct = BRP(16) + BRP(15) + BRP(13) + BRP(12) + BRP(6) + BRP(5) +
173 BRP(4) + BRP(1) + BRP(0);
174
175 if (c != correct)
176 {
177 cout << "Addition failed" << endl;
178 }
179}
Boolean (F_2-coefficient) polynomial stored as an ordered list of square-free monomials.

Referenced by main().