newf4::GBF4Computation — top-level driver for the refactored F4 Gröbner-basis engine. More...

#include "Basis.hpp"
#include "MacaulayMatrix.hpp"
#include "MonomialHashTable.hpp"
#include "MonomialLookupTable.hpp"
#include "PolynomialList.hpp"
#include "SPairs.hpp"
#include "../VectorArithmetic.hpp"

Classes
class	newf4::GBF4Computation

Namespaces
namespace	newf4

Detailed Description

newf4::GBF4Computation — top-level driver for the refactored F4 Gröbner-basis engine.

Note: AI-generated documentation. Verify against the source before relying on it.

Declares the class that owns all of the new F4's state: a MonomialHashTable mBasisMonomials for basis monomials and a separate mSPairMonomials for S-pair LCMs, a PolynomialList mInput of original generators, a Basis mGBSoFar holding the evolving GB and its GBPolyStatus flags, a MonomialLookupTable mMonomialLookup for fast divisor queries, an SPairSet mSPairs of pending overlaps, a MacaulayMatrix mMacaulayMatrix reused each degree, and a reference to the user-selected VectorArithmetic& mVectorArithmetic backend. initializeWithMatrix(const Matrix*) and initializeWithBasicPolyList(const BasicPolyList&) are the two ingestion entry points; the remaining public surface is show* / dump* debug helpers — the actual GB-construction methods have not been added yet, matching the refactor-in-progress status of this subdir.

GBF4Computation does not inherit from GBComputation; the legacy GBComputation virtuals are exposed through GBF4Interface (a GBComputation subclass) which holds a unique_ptr<GBF4Computation> and forwards. All gb-f4/ classes live in namespace newf4 so their names don't collide with the older F4 in f4/. The Strategy enum is forward-declared here but defined in GBF4Interface.hpp (enum class Strategy { Normal };) with a single value at present — the variant-selector switch is reserved space, not a live mechanism. Modern counterpart of the legacy f4/f4-computation.hpp: same algorithmic shape (per-degree S-pair selection, build the Macaulay matrix, row-reduce, promote new pivots, prune subsumed S-pairs) but with each concern in its own class instead of being interleaved.

See also: Basis.hpp; MacaulayMatrix.hpp; MonomialHashTable.hpp; MonomialLookupTable.hpp; PolynomialList.hpp; SPairs.hpp; GBF4Interface.hpp

Definition in file GBF4Computation.hpp.

Classes

Namespaces

Detailed Description