isDivisibleBy()

bool BRP::isDivisibleBy ( const brMonomial & a, const brMonomial & b )

inlinestatic

Definition at line 89 of file franzi-brp.hpp.

  {
    // check if a is divisible by b
    brMonomial lcm = a | b;
    return lcm == a;
  }

Referenced by isGoodPair(), isLeadingReducibleBy(), isLeadingReducibleBy(), reduceTail(), remainder(), and testDivide().