polybori::groebner::LexBucket Class Reference

#include <LexBucket.h>

List of all members.

Public Member Functions
	LexBucket (const BoolePolyRing &input_ring)
LexBucket &	operator+= (const Polynomial &p)
	LexBucket (const Polynomial &p)
void	clearFront ()
Exponent	leadExp ()
bool	isZero ()
void	updateTailStart ()
idx_type	getTailStart ()
void	increaseTailStart (idx_type new_start)
Polynomial	value ()
Polynomial	getFront ()
bool	isOne ()
Public Attributes
BoolePolyRing	ring
Static Public Attributes
static const int	var_group_size = 1

---

Constructor & Destructor Documentation

polybori::groebner::LexBucket::LexBucket

(

const BoolePolyRing &

input_ring

)

[inline]

polybori::groebner::LexBucket::LexBucket

(

const Polynomial &

p

)

[inline]

References polybori::BoolePolynomial::isConstant(), polybori::BoolePolynomial::isOne(), polybori::BoolePolynomial::isZero(), and polybori::groebner::without_prior_part().

---

Member Function Documentation

LexBucket & polybori::groebner::LexBucket::operator+=

(

const Polynomial &

p

)

References increaseTailStart(), polybori::BoolePolynomial::isOne(), polybori::BoolePolynomial::isZero(), var_group_size, and polybori::groebner::without_prior_part().

void polybori::groebner::LexBucket::clearFront

(

)

[inline]

Exponent polybori::groebner::LexBucket::leadExp

(

)

References polybori::BoolePolynomial::isZero(), and polybori::BoolePolynomial::leadExp().

Referenced by polybori::groebner::nf3_lexbuckets().

bool polybori::groebner::LexBucket::isZero

(

)

References polybori::BoolePolynomial::isZero(), and PBORI_ASSERT.

Referenced by polybori::groebner::nf3_lexbuckets().

void polybori::groebner::LexBucket::updateTailStart

(

)

References polybori::BoolePolynomial::isConstant(), polybori::BoolePolynomial::navigation(), polybori::BoolePolynomial::ring(), and var_group_size.

idx_type polybori::groebner::LexBucket::getTailStart

(

)

void polybori::groebner::LexBucket::increaseTailStart

(

idx_type

new_start

)

References isOne(), polybori::BoolePolynomial::isZero(), PBORI_ASSERT, and polybori::groebner::without_prior_part().

Referenced by operator+=().

Polynomial polybori::groebner::LexBucket::value

(

)

References polybori::BoolePolynomial::isConstant(), and polybori::BoolePolynomial::isOne().

Referenced by polybori::groebner::nf3_lexbuckets().

Polynomial polybori::groebner::LexBucket::getFront

(

)

[inline]

Referenced by polybori::groebner::nf3_lexbuckets().

bool polybori::groebner::LexBucket::isOne

(

)

[inline]

Referenced by increaseTailStart().

---

Member Data Documentation

const int polybori::groebner::LexBucket::var_group_size = 1 [static]

Referenced by operator+=(), and updateTailStart().

BoolePolyRing polybori::groebner::LexBucket::ring

---

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

• LexBucket.h
• LexBucket.cc