PolyBoRi
|
Public Member Functions | |
template<class RingType > | |
LLReduction (const RingType &ring) | |
Polynomial | multiply (const Polynomial &p, const Polynomial &q) |
Polynomial | operator() (const Polynomial &p, MonomialSet::navigator r_nav) |
Protected Types | |
typedef polybori::CacheManager < CCacheTypes::ll_red_nf > | cache_mgr_type |
Protected Attributes | |
cache_mgr_type | cache_mgr |
typedef polybori ::CacheManager<CCacheTypes::ll_red_nf> polybori::groebner::LLReduction::cache_mgr_type [protected] |
polybori::groebner::LLReduction::LLReduction | ( | const RingType & | ring | ) | [inline] |
Polynomial polybori::groebner::LLReduction::multiply | ( | const Polynomial & | p, |
const Polynomial & | q | ||
) | [inline] |
References polybori::BoolePolynomial::ring(), and polybori::BoolePolynomial::navigation().
Polynomial polybori::groebner::LLReduction::operator() | ( | const Polynomial & | p, |
MonomialSet::navigator | r_nav | ||
) |
References UNLIKELY, polybori::CCuddDDFacade::navigation(), LIKELY, and polybori::groebner::multiply().