PolynomialSugar Class Reference

List of all members.

Public Member Functions
	PolynomialSugar (const Polynomial &p)
	PolynomialSugar (const Polynomial &p, int sugar, len_type length)
const BooleMonomial &	lead () const
const Exponent &	leadExp () const
deg_type	getSugar () const
wlen_type	getLengthEstimation () const
bool	isZero () const
void	add (const Polynomial p2, deg_type sugar2, wlen_type length)
void	adjustSugar ()
bool	isOne ()
Polynomial	value () const
wlen_type	eliminationLength () const
void	adjustLm ()
Protected Attributes
Monomial	lm
len_type	length
deg_type	sugar
Polynomial	p
Exponent	exp

---

Constructor & Destructor Documentation

PolynomialSugar::PolynomialSugar

(

const Polynomial &

p

)

[inline]

References exp, length, and sugar.

PolynomialSugar::PolynomialSugar	(	const Polynomial &	p,
		int	sugar,
		len_type	length
	)			[inline]

References exp.

---

Member Function Documentation

void PolynomialSugar::add	(	const Polynomial	p2,
		deg_type	sugar2,
		wlen_type	length
	)			[inline]

References exp, BooleEnv::ordering(), and sugar.

void PolynomialSugar::adjustLm

(

)

[inline]

References exp.

void PolynomialSugar::adjustSugar

(

)

[inline]

References sugar.

wlen_type PolynomialSugar::eliminationLength

(

)

const [inline]

optimize that using length optimization

References exp, isZero(), length, and sugar.

Referenced by PSCompareByEl::operator()().

wlen_type PolynomialSugar::getLengthEstimation

(

)

const [inline]

References length.

deg_type PolynomialSugar::getSugar

(

)

const [inline]

References sugar.

Referenced by PSCompareByEl::operator()(), and parallel_reduce().

bool PolynomialSugar::isOne

(

)

[inline]

bool PolynomialSugar::isZero

(

)

const [inline]

Referenced by eliminationLength().

const BooleMonomial& PolynomialSugar::lead

(

)

const [inline]

const Exponent& PolynomialSugar::leadExp

(

)

const [inline]

References exp.

Referenced by LMLessComparePS::operator()().

Polynomial PolynomialSugar::value

(

)

const [inline]

---

Member Data Documentation

Exponent PolynomialSugar::exp [protected]

Referenced by add(), adjustLm(), eliminationLength(), leadExp(), and PolynomialSugar().

len_type PolynomialSugar::length [protected]

Referenced by eliminationLength(), getLengthEstimation(), and PolynomialSugar().

Monomial PolynomialSugar::lm [protected]

Polynomial PolynomialSugar::p [protected]

deg_type PolynomialSugar::sugar [protected]

Referenced by add(), adjustSugar(), eliminationLength(), getSugar(), and PolynomialSugar().

---

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

• nf.cc