Definition at line 125 of file franzi-brp.cpp.
References BRP(), isDivisibleBy(), and LT().
Referenced by findDivisor(), and testIsLeadingReducibleBy().