|
PolyBoRi
|
This class defines PolyPairData. More...
#include <PolyPairData.h>
Public Member Functions | |
| Polynomial | extract (const PolyEntryVector &v) const |
| PolyPairData (const BoolePolynomial &poly) | |
Public Member Functions inherited from polybori::groebner::PairData | |
| virtual | ~PairData () |
Public Attributes | |
| Polynomial | p |
This class defines PolyPairData.
|
inline |
|
inlinevirtual |
Implements polybori::groebner::PairData.
| Polynomial polybori::groebner::PolyPairData::p |
1.8.9.1