|
Macaulay2 Engine
|
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. | |