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).
Polynomial polybori::groebner::TimesVariableSubstitution::operator() | ( | const Polynomial & | lhs, |
const PairType & | rhs | ||
) | const [inline] |
References polybori::BoolePolynomial::ring(), and polybori::BoolePolyRing::variable().