Macaulay2 Engine
Loading...
Searching...
No Matches

◆ isLeadingReducibleBy() [2/2]

bool BRP::isLeadingReducibleBy ( const BRP & other) const

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

126{
127 // if ( (*this) == 0 ) cout << "This is 0 " << endl;
128 // if ( other == 0 ) cout << "Other is 0 " << endl;
129 return isDivisibleBy(LT(), other.LT());
130}
static bool isDivisibleBy(const brMonomial &a, const brMonomial &b)
brMonomial LT() const

References BRP(), isDivisibleBy(), and LT().

Referenced by findDivisor(), and testIsLeadingReducibleBy().