testOrder()

void testOrder

(

)

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

{
  BRP lex = BRP(9) + BRP(7);
  lex = BRP(7) + BRP(9);
  monomials control;
  control.push_back(9);
  control.push_back(7);
  BRP c = BRP(control);
  if (lex != c)
    {
      cout << "Testing something that should have a different order failed"
           << endl;
    }
}

Referenced by main().