BIBasis::BooleanInvolutiveBasis< MonomType > Class Template Reference

#include <involutive.hpp>

Public Member Functions
	BooleanInvolutiveBasis (const Matrix *matrix, bool toGroebner)
	~BooleanInvolutiveBasis ()
const Polynom< MonomType > &	operator[] (int number) const
unsigned	Length () const
const Matrix *	ToMatrix () const

Private Member Functions
void	FillInitialSet (const Matrix *matrix, std::list< Polynom< MonomType > * > &initialSet) const
Polynom< MonomType > *	NormalForm (const Triple< MonomType > *triple) const
const Polynom< MonomType > *	FindDivisor (const Polynom< MonomType > *polynom, const std::list< Polynom< MonomType > * > &set, bool toGroebner) const
Polynom< MonomType > *	Reduce (Polynom< MonomType > *polynom, const std::list< Polynom< MonomType > * > &set, bool toGroebner) const
void	ReduceSet (bool toGroebner)
void	Reset ()
void	Construct (const std::list< Polynom< MonomType > * > &set, bool toGroebner)
void	ConstructInvolutiveBasis ()

Private Attributes
std::list< Polynom< MonomType > * >	GBasis
TSet< MonomType >	IntermediateBasis
QSet< MonomType >	ProlongationsSet
const PolynomialRing *const	PRing

Detailed Description

template<typename MonomType>
class BIBasis::BooleanInvolutiveBasis< MonomType >

Definition at line 58 of file involutive.hpp.

---

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

• Macaulay2/e/bibasis/involutive.hpp