mathic::Geobucket configuration whose Entry is a (Monom, ring_elem) pair compared by the FreeMonoid order on the monomial component. More...

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

Public Member Functions
	NaiveQueueConfiguration (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

Static Public Attributes
static const size_t	insertFactor = 4
static const bool	fastIndex = false
static const bool	supportDeduplication = false
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

mathic::Geobucket configuration whose Entry is a (Monom, ring_elem) pair compared by the FreeMonoid order on the monomial component.

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

Used by NaivePolynomialHeap<Queue>. Deduplication is off, so the heap holds duplicate monomials and only collapses them on lead-term extraction.

Definition at line 258 of file NCReduction.cpp.

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

Public Types