bibasis Directory Reference

Files
	allocator.cpp
	allocator.hpp
	BIBasis::FastAllocator — per-size-class slab allocator for BIBasis's small objects.
	bibasis.cpp
	rawBIBasis — C entry point bridging M2 to BIBasis's involutive-basis engine.
	bibasis.hpp
	involutive.hpp
	BIBasis::BooleanInvolutiveBasis<MonomType> — Janet-involutive Gröbner driver for F_2[x]/(x_i^2-x_i).
	janettree.hpp
	BIBasis::JanetTree<MonomType> — the involutive-division index for boolean Gröbner bases.
	launcher.cpp
	launcher.hpp
	BIBasis::Launcher — monomial-order dispatcher between the engine boundary and BooleanInvolutiveBasis.
	monom.cpp
	monom.hpp
	BIBasis::Monom — abstract squarefree-monomial base for the three Janet orderings.
	monomDL.cpp
	monomDL.hpp
	BIBasis::MonomDL — degree-lex specialisation of the BIBasis monomial type.
	monomDRL.cpp
	monomDRL.hpp
	BIBasis::MonomDRL — degree-reverse-lex specialisation of the BIBasis monomial type.
	monomLex.cpp
	monomLex.hpp
	BIBasis::MonomLex — pure lexicographic specialisation of the BIBasis monomial type.
	pcomparator.hpp
	BIBasis::PointerLessComparator / PointerMoreComparator — pointer-deref comparators for STL containers.
	polynom.hpp
	BIBasis::Polynom<MonomType> — linked-list F_2[x] polynomial with symmetric-difference arithmetic.
	qset.hpp
	BIBasis::QSet<MonomType> — prolongation work-queue sorted by leading monomial.
	settings-manager.cpp
	settings-manager.hpp
	BIBasis::SettingsManager — singleton holding the per-run monomial order and variable count.
	triple.hpp
	BIBasis::Triple<MonomType> — (polynomial, ancestors, non-multiplicative variables) record driving Janet division.
	tset.hpp
	BIBasis::TSet<MonomType> — the running intermediate involutive basis (T-set).