polybori::groebner::TimesVariableSubstitution Class Reference

#include <TimesVariableSubstitution.h>

Public Member Functions
template<class PairType >
Polynomial	operator() (const Polynomial &lhs, const PairType &rhs) const

Detailed Description

This class computes the product of a polynomial and the sum of a pair of variables (namely a variable substitution).

Member Function Documentation

template<class PairType >

Polynomial polybori::groebner::TimesVariableSubstitution::operator() ( const Polynomial &  lhs, const PairType &  rhs  ) const

inline

References polybori::BoolePolynomial::ring(), and polybori::BoolePolyRing::variable().

---

The documentation for this class was generated from the following file:

• TimesVariableSubstitution.h