polybori::groebner::SlimgbReduction< variant > Class Template 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

template<int variant>
class polybori::groebner::SlimgbReduction< variant >

---

Constructor & Destructor Documentation

template<int variant>

polybori::groebner::SlimgbReduction< variant >::SlimgbReduction

(

GroebnerStrategy &

strat

)

[inline]

template<int variant>

polybori::groebner::SlimgbReduction< variant >::SlimgbReduction

(

)

[inline]

---

Member Function Documentation

template<int variant>

void polybori::groebner::SlimgbReduction< variant >::addPolynomial

(

const Polynomial &

p

)

References polybori::BoolePolynomial::isZero().

template<int variant>

Polynomial polybori::groebner::SlimgbReduction< variant >::nextResult

(

)

template<int variant>

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

(

)

template<>

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

(

)

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

---

Member Data Documentation

template<int variant>

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

---

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

• nf.h