BIBasis Namespace Reference

Classes
class	FastAllocator
	Slab allocator handing out fixed-size blocks for one BIBasis type per instance. More...
class	BooleanInvolutiveBasis
class	JanetTree
class	Launcher
	Top-level entry point that runs a BIBasis (boolean involutive) computation on an engine Matrix and returns the result as a Matrix. More...
class	Monom
	Abstract base for the BIBasis boolean-coefficient monomial types — a sorted, singly linked list of variable indices. More...
class	MonomDL
	Monom specialisation that orders monomials by degree, then by lex on the variable list (DegLex). More...
class	MonomDRL
	Monom specialisation that orders monomials by degree, then by reverse-lex on the variable list (DegRevLex). More...
class	MonomLex
	Monom specialisation that orders monomials by pure lex on their sorted variable lists. More...
class	PointerLessComparator
class	PointerMoreComparator
class	Polynom
class	QSet
class	SettingsManager
	Process-wide singleton holding the BIBasis monomial order and variable count. More...
class	Triple
class	TSet

Functions
SettingsManager &	GetSettingsManager ()

Variables
template<typename MonomType>
FastAllocator	Polynom< MonomType >::Allocator (sizeof(Polynom< MonomType >))
template<typename MonomType>
MonomType	Polynom< MonomType >::UniteMonom