ntuple-monomial.hpp File Reference

F4's dense int64_t exponent-vector specialisation of ExponentVector (legacy). More...

#include "ExponentVector.hpp"

Go to the source code of this file.

Typedefs
using	ntuple_monomials = ExponentVector<int64_t, false>
typedef ntuple_monomials::Exponent	ntuple_word
typedef ntuple_word *	ntuple_monomial
typedef const ntuple_word *	const_ntuple_monomial

Detailed Description

F4's dense int64_t exponent-vector specialisation of ExponentVector (legacy).

Note

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

Aliases ntuple_monomials = ExponentVector<int64_t, false> for the F4 inner loop's dense monomial encoding: 64-bit signed exponents indexed by variable, with overflow checking disabled. The custom mask specialisation defined below derives the F4-side bit-mask used to short-circuit divisibility tests. Per the header's CAVEAT, no overflow protection happens at this layer — F4 trades the safe-add branch for inner-loop speed and relies on sugar tracking, GBWeight, and degree checks higher up to reject unreasonable inputs before they reach monomial arithmetic.

Counterpart to the sparse varpower_monomial; the TODO at the top of the file marks this as a planned eventual deletion once F4 migrates fully to the templated ExponentVector surface.

See also

ExponentVector.hpp

varpower-monomial.hpp

overflow.hpp

Definition in file ntuple-monomial.hpp.