polybori::groebner::SlimgbReduction Class Reference

#include <nf.h>

List of all members.

Public Member Functions
	SlimgbReduction (GroebnerStrategy &strat)
	SlimgbReduction ()
void	addPolynomial (const Polynomial &p)
void	reduce ()
Polynomial	nextResult ()
template<>
void	reduce ()
Public Attributes
std::vector< Polynomial >	result

---

Constructor & Destructor Documentation

polybori::groebner::SlimgbReduction::SlimgbReduction

(

GroebnerStrategy &

strat

)

[inline]

polybori::groebner::SlimgbReduction::SlimgbReduction

(

)

[inline]

---

Member Function Documentation

void polybori::groebner::SlimgbReduction::addPolynomial

(

const Polynomial &

p

)

References polybori::BoolePolynomial::isZero().

Polynomial polybori::groebner::SlimgbReduction::nextResult

(

)

void polybori::groebner::SlimgbReduction::reduce

(

)

template<>

void polybori::groebner::SlimgbReduction< SLIMGB_SIMPLEST >::reduce

(

)

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

---

Member Data Documentation

std::vector<Polynomial> polybori::groebner::SlimgbReduction::result

---

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

• nf.h