Macaulay2 Engine
Loading...
Searching...
No Matches
gb-f4 Directory Reference

Files

 
Basis.cpp
 
Basis.hpp
 newf4::Basis — evolving Gröbner basis container with GBPolyStatus per element.
 
GBF4Computation.cpp
 
GBF4Computation.hpp
 newf4::GBF4Computation — top-level driver for the refactored F4 Gröbner-basis engine.
 
GBF4Interface.cpp
 
GBF4Interface.hpp
 Legacy-to-new-F4 adapter exposing GBF4Computation through the engine's GBComputation API.
 
MacaulayMatrix.cpp
 
MacaulayMatrix.hpp
 newf4::MacaulayMatrix — batched matrix of S-polynomials and tail-reducers (refactor stub).
 
MonomialHashTable.cpp
 
MonomialHashTable.hpp
 newf4::MonomialHashFunction and the new-F4 monomial-to-index hash table.
 
MonomialLookupTable.cpp
 
MonomialLookupTable.hpp
 newf4::MonomialLookupTable — divisibility-aware leading-term index for the new F4.
 
MonomialTypes.hpp
 Typed integer vocabulary for namespace newf4 (indices, monomial words, hashes, masks).
 
MonomialView.cpp
 
MonomialView.hpp
 newf4::MonomialView — non-owning view over a [length, var_1, e_1, ...]-encoded monomial.
 
PolynomialList.cpp
 
PolynomialList.hpp
 Hash-table-keyed polynomial storage for the new F4.
 
SPairs.cpp
 
SPairs.hpp
 newf4::SPair / SPairSet — typed S-pair queue grouped by degree and S-pair flavour.