f4 Directory Reference

Files
	f4-computation.cpp
	f4-computation.hpp
	F4Computation — GBComputation adapter around the F4 inner-loop engine.
	f4-m2-interface.cpp
	f4-m2-interface.hpp
	F4toM2Interface — static translators between engine vec / Matrix and F4's GBF4Polynomial.
	f4-monlookup.cpp
	f4-monlookup.hpp
	F4MonomialLookupTableT<Key> — monomial-ideal trie for divisor lookup.
	f4-spairs.cpp
	f4-spairs.hpp
	F4SPairSet — priority-queue + pruning logic for F4 S-pairs.
	f4-types.hpp
	Shared type vocabulary used across the F4 engine.
	f4.cpp
	f4.hpp
	F4GB — the inner-loop Faugère F4 Groebner-basis algorithm.
	hilb-fcn.cpp
	hilb-fcn.hpp
	HilbertController — early-exit driver for F4 given a known Hilbert series.
	memblock.hpp
	F4MemoryBlock<T, NSLAB> — F4's templated slab bump allocator.
	monhashtable.cpp
	monhashtable.hpp
	MonomialHashTable<ValueType> — open-addressing intern table for F4 and resolution monomials.
	moninfo.cpp
	moninfo.hpp
	MonomialInfo — F4's packed_monomial encoding plus operations.
	ntuple-monomial.hpp
	F4's dense int64_t exponent-vector specialisation of ExponentVector (legacy).
	varpower-monomial.hpp
	F4's (variable, exponent) sparse-monomial ExponentList specialisation (legacy).