|
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().
1.7.5