Strict comparator on Monoms under a FreeMonoid order: returns true exactly when the first monomial is greater than the second. More...

#include <FreeMonoid.hpp>

Public Member Functions
	MonomEq ()
	MonomEq (const FreeMonoid &M)
	MonomEq (const MonomEq &M)
	MonomEq (MonomEq &M)
	~MonomEq ()
bool	operator() (const Monom a, const Monom b) const

Private Attributes
const FreeMonoid *	mMonoid

Detailed Description

Strict comparator on Monoms under a FreeMonoid order: returns true exactly when the first monomial is greater than the second.

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

Confusingly named ("Eq") but actually a < swap-ready comparator for std::map<Monom, ..., MonomEq> (used by MapPolynomialHeap): std::map requires strict-weak order so this returns compare(a, b) == GT, which orders the lead term to mMap.begin().

Definition at line 245 of file FreeMonoid.hpp.

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

Macaulay2/e/NCAlgebras/FreeMonoid.hpp

Public Member Functions

Private Attributes

Detailed Description