PolyBoRi
Public Member Functions | Protected Member Functions
polybori::groebner::NextSpoly Class Reference

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

#include <NextSpoly.h>

List of all members.

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


Member Function Documentation

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

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