isLeadingReducibleBy() [1/2]

bool BRP::isLeadingReducibleBy

(

const brMonomial &

other

)

const

Definition at line 132 of file franzi-brp.cpp.

{
  return isDivisibleBy(LT(), other);
}

References isDivisibleBy(), and LT().