ResMonomialsWithComponent Class Reference

MonHashTable trait for the resolution engine's res_packed_monomials, with components included. More...

#include <monhashtable.hpp>

Public Types
typedef res_packed_monomial	value

Public Member Functions
int	hash_value (value m) const
bool	is_equal (value m, value n) const
void	show (value m) const
	ResMonomialsWithComponent (const ResMonoid &MI)

Private Attributes
const ResMonoid &	mMonoid

Detailed Description

MonHashTable trait for the resolution engine's res_packed_monomials, with components included.

Note

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

Counterpart of MonomialsWithComponent for the F4 resolution code: combines the per-monomial hash from ResMonoid::hash_value with a 34141 * component term so two monomials with the same exponent vector but different components land in different buckets. Equality goes through ResMonoid::is_equal.

Definition at line 110 of file monhashtable.hpp.

---

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

• Macaulay2/e/f4/monhashtable.hpp