PolyBoRi
|
#include <TimesVariableSubstitution.h>
Public Member Functions | |
template<class PairType > | |
Polynomial | operator() (const Polynomial &lhs, const PairType &rhs) const |
This class computes the product of a polynomial and the sum of a pair of variables (namely a variable substitution).
|
inline |
References polybori::BoolePolynomial::ring(), and polybori::BoolePolyRing::variable().