|
PolyBoRi
|
#include <pairs.h>
Public Member Functions | |
| Polynomial | extract (const PolyEntryVector &v) |
| PolyPairData (const BoolePolynomial &p) | |
Public Member Functions inherited from polybori::groebner::PairData | |
| virtual | ~PairData ()=0 |
Public Attributes | |
| Polynomial | p |
|
inline |
|
inlinevirtual |
Implements polybori::groebner::PairData.
| Polynomial polybori::groebner::PolyPairData::p |
1.8.1.2