schreyer-resolution Directory Reference

Files
	res-dep-graph.cpp
	res-dep-graph.hpp
	DependencyGraph — TBB flow-graph over (level, slanted-degree) cells of a Schreyer-frame resolution.
	res-f4-computation.cpp
	res-f4-computation.hpp
	F4ResComputation — top-level Schreyer-frame F4 free-resolution driver.
	res-f4-m2-interface.cpp
	res-f4-m2-interface.hpp
	Conversion layer between engine Matrix / vec types and the F4-resolution internal types.
	res-f4-monlookup.cpp
	res-f4-monlookup.hpp
	ResF4MonomialLookupTableT<Key> — tree-structured leading-term index for the F4 resolution.
	res-f4.cpp
	res-f4.hpp
	F4Res — F4-style matrix-reduction worker over a SchreyerFrame.
	res-memblock.hpp
	ResMemoryBlock<T, NSLAB> — resolution-side templated slab bump allocator.
	res-moninfo-dense.cpp
	res-moninfo-dense.hpp
	ResMonoidDense — dense exponent-vector implementation of the resolution monoid.
	res-moninfo-sparse.cpp
	res-moninfo-sparse.hpp
	ResMonoidSparse — sparse-multiset encoding alternative to ResMonoidDense.
	res-moninfo.cpp
	res-moninfo.hpp
	ResMonoid dispatcher — single typedef switch between ResMonoidDense and ResMonoidSparse.
	res-monomial-sorter.cpp
	res-monomial-sorter.hpp
	Schreyer-order column sorters for the F4 resolution Macaulay matrix.
	res-monomial-types.hpp
	Typed-monomial vocabulary shared by ResMonoid, ResPolyRing, SchreyerFrame, and F4Res.
	res-poly-ring.cpp
	res-poly-ring.hpp
	ResPolyRing and ResPolynomial — resolution-tuned polynomial-ring view and value type.
	res-schreyer-frame.cpp
	res-schreyer-frame.hpp
	SchreyerFrame — in-progress representation of a free resolution organised by (level, degree).
	res-schreyer-order.hpp
	ResSchreyerOrder — per-free-module-summand data implementing the Schreyer order on the next level.
	res-tasking-example.cpp
	Standalone TBB flow::graph sandbox simulating the F4 resolution's (level, degree) task DAG.