NaiveDedupQueueConfiguration Class Reference

Variant of NaiveQueueConfiguration with deduplication enabled: deduplicate(a, b) sums the coefficients of two equal monomials. More...

Public Types
enum class	CompareResult { LT , EQ , GT , Error }
using	Entry = std::pair<Monom, ring_elem>

Public Member Functions
	NaiveDedupQueueConfiguration (const FreeAlgebra &F)
CompareResult	compare (const Entry &a, const Entry &b) const
bool	cmpLessThan (CompareResult a) const
bool	cmpEqual (CompareResult a) const
Entry	deduplicate (Entry a, Entry b) const

Public Attributes
const size_t	minBucketSize = 2
const size_t	geoBase = 4

Static Public Attributes
static const size_t	insertFactor = 4
static const bool	fastIndex = false
static const bool	supportDeduplication = true
static const bool	minBucketBinarySearch = true
static const bool	trackFront = true
static const bool	premerge = false
static const bool	collectMax = true
static const mathic::GeobucketBucketStorage	bucketStorage = mathic::GeoStoreSameSizeBuffer

Private Attributes
const FreeAlgebra &	mRing

Detailed Description

Variant of NaiveQueueConfiguration with deduplication enabled: deduplicate(a, b) sums the coefficients of two equal monomials.

Note

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

Lets the underlying geobucket collapse like terms eagerly instead of deferring the addition until lead-term extraction. Combined with NaivePolynomialHeap<Queue> to compare the two strategies.

Definition at line 314 of file NCReduction.cpp.

---

The documentation for this class was generated from the following file:

• Macaulay2/e/NCAlgebras/NCReduction.cpp