PolyBoRi
Public Member Functions | Protected Member Functions | List of all members
polybori::groebner::NextSpoly Class Reference

This class computes the next spoly for a generator pair. More...

#include <NextSpoly.h>

Public Member Functions

 NextSpoly (ReductionStrategy &gen, PairStatusSet &status)
 
Polynomial operator() (const Pair &act_pair)
 

Protected Member Functions

Polynomial compute (const Pair &act_pair, const Polynomial &result)
 
Polynomial compute (const IJPairData &ij, const Polynomial &res)
 
Polynomial compute (const VariablePairData &vp, const Polynomial &res)
 
void replacePair (int &first, int &second)
 
template<class Iterator >
void replacePair (Iterator start, Iterator finish, int &first, int &second)
 

Detailed Description

This class computes the next spoly for a generator pair.

Constructor & Destructor Documentation

polybori::groebner::NextSpoly::NextSpoly ( ReductionStrategy gen,
PairStatusSet status 
)
inline

Member Function Documentation

Polynomial polybori::groebner::NextSpoly::compute ( const Pair act_pair,
const Polynomial result 
)
inlineprotected
Polynomial polybori::groebner::NextSpoly::compute ( const IJPairData ij,
const Polynomial res 
)
inlineprotected
Polynomial polybori::groebner::NextSpoly::compute ( const VariablePairData vp,
const Polynomial res 
)
inlineprotected
Polynomial polybori::groebner::NextSpoly::operator() ( const Pair act_pair)
inline
void polybori::groebner::NextSpoly::replacePair ( int &  first,
int &  second 
)
inlineprotected
template<class Iterator >
void polybori::groebner::NextSpoly::replacePair ( Iterator  start,
Iterator  finish,
int &  first,
int &  second 
)
inlineprotected

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