SPolySorter Class Reference

Comparator on gbA::spair* used by the default Groebner basis driver to order its S-pair queue. More...

Public Types
typedef gbA::spair *	value

Public Member Functions
int	compare (value a, value b)
bool	operator() (value a, value b)
	SPolySorter (GBRing *R0, const FreeModule *F0)
	~SPolySorter ()

Private Attributes
const FreeModule *	F
GBRing *	R

Detailed Description

Comparator on gbA::spair* used by the default Groebner basis driver to order its S-pair queue.

Note

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

Orders descending by sugar deg (largest first — the queue processes pairs of equal degree as a cohort), then by spair type, then by lead term of the S-polynomial. The two helpers compare (returning LT / EQ / GT) and the standard operator()-style entry are both supplied so the same functor can drive both manual sorting and std::priority_queue-style containers.

Definition at line 738 of file gb-default.cpp.

---

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

• Macaulay2/e/gb-default.cpp