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

◆ testAddition3()

void testAddition3 ( )

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

154{
155 BRP a = BRP(35) + BRP(16) + BRP(15) + BRP(5) + BRP(2) + BRP(0);
156 BRP b = BRP(38) + BRP(13) + BRP(12) + BRP(6) + BRP(4) + BRP(2) + BRP(1);
157 BRP c = a + b;
158 BRP correct = BRP(38) + BRP(35) + BRP(16) + BRP(15) + BRP(13) + BRP(12) +
159 BRP(6) + BRP(5) + BRP(4) + BRP(1) + BRP(0);
160
161 if (c != correct)
162 {
163 cout << "Addition failed" << endl;
164 }
165}
Boolean (F_2-coefficient) polynomial stored as an ordered list of square-free monomials.

Referenced by main().