PolyBoRi
|
#include <nf.h>
Public Member Functions | |
bool | operator() (const Polynomial &p1, const Polynomial &p2) |
bool polybori::groebner::LMLessCompare::operator() | ( | const Polynomial & | p1, |
const Polynomial & | p2 | ||
) | [inline] |
References polybori::BoolePolynomial::lead().