|
PolyBoRi
|
#include <pairs.h>
Public Member Functions | |
| Polynomial | extract (const PolyEntryVector &v) |
| PolyPairData (const BoolePolynomial &p) | |
Public Attributes | |
| Polynomial | p |
| polybori::groebner::PolyPairData::PolyPairData | ( | const BoolePolynomial & | p | ) | [inline] |
| Polynomial polybori::groebner::PolyPairData::extract | ( | const PolyEntryVector & | v | ) | [inline, virtual] |
Implements polybori::groebner::PairData.
1.7.4