NCAlgebras Directory Reference

Files
	FreeAlgebra.cpp
	FreeAlgebra.hpp
	Free associative algebra k<x_1,...,x_n> over an arbitrary coefficient ring.
	FreeAlgebraQuotient.cpp
	FreeAlgebraQuotient.hpp
	A FreeAlgebra modulo a two-sided ideal carried by an embedded NCGroebner.
	FreeMonoid.cpp
	FreeMonoid.hpp
	FreeMonoid — monoid of length-prefixed non-commutative words with weight-vector prefix.
	NCF4.cpp
	NCF4.hpp
	NCF4 — non-commutative F4 Gröbner-basis driver building a per-degree Macaulay matrix.
	NCGroebner.cpp
	NCGroebner.hpp
	NCGroebner — Buchberger-style two-sided Gröbner basis driver over a FreeAlgebra.
	NCReduction.cpp
	NCReduction.hpp
	PolynomialHeap abstract interface — batched-subtraction heap for non-commutative reduction.
	OverlapTable.cpp
	OverlapTable.hpp
	OverlapTable — degree-sorted queue of pending word overlaps for non-commutative GB drivers.
	Range.hpp
	Home-rolled std::span substitute and zipped-range view for the NC engines.
	SuffixTree.cpp
	SuffixTree.hpp
	SuffixTree / SuffixTreeNode — experimental generalised suffix tree for non-commutative leading-word lookup.
	Word.cpp
	Word.hpp
	Word and WordWithData — non-owning views over the flat-int encoding of a non-commutative word.
	WordTable.cpp
	WordTable.hpp
	WordTable / WordWithDataTable — leading-word indices for non-commutative Gröbner basis lookup.