testIsLeadingReducibleBy()

void testIsLeadingReducibleBy

(

)

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

{
  BRP f = BRP(2) * BRP(8) + BRP(7);
  if (!f.isLeadingReducibleBy(BRP(8)))
    {
      cout << "error" << endl;
    }
  if (!f.isLeadingReducibleBy(BRP(2)))
    {
      cout << "error" << endl;
    }
  if (f.isLeadingReducibleBy(BRP(1)))
    {
      cout << "error" << endl;
    }
}

References BRP::isLeadingReducibleBy().

Referenced by main().