polybori::groebner::ChainCriterion Class Reference

assumes that divisibility condition is fullfilled More...

List of all members.

Public Member Functions
	ChainCriterion (const GroebnerStrategy &strat, const int &i, const int &j)
bool	operator() (const Exponent &lmExp)
Public Attributes
const GroebnerStrategy *	strat
int	i
int	j

---

Detailed Description

assumes that divisibility condition is fullfilled

---

Constructor & Destructor Documentation

polybori::groebner::ChainCriterion::ChainCriterion	(	const GroebnerStrategy &	strat,
		const int &	i,
		const int &	j
	)			[inline]

References strat.

---

Member Function Documentation

bool polybori::groebner::ChainCriterion::operator()

(

const Exponent &

lmExp

)

[inline]

---

Member Data Documentation

int polybori::groebner::ChainCriterion::i

int polybori::groebner::ChainCriterion::j

const GroebnerStrategy* polybori::groebner::ChainCriterion::strat

Todo:

: connect via vars

Referenced by ChainCriterion().

---

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

• groebner_alg.cc