ResPolyRing Class Reference

The polynomial-ring view the F4 resolution engine reduces against: coefficient arithmetic plus the engine-specific ResMonoid. More...

#include <res-poly-ring.hpp>

Inheritance diagram for ResPolyRing:

Public Member Functions
	ResPolyRing (const Ring *baseRing, const ResMonoid *M, const Monoid *origM)
	ResPolyRing (const Ring *baseRing, const ResMonoid *M, const Monoid *origM, const SkewMultiplication *skewInfo)
const VectorArithmetic &	vectorArithmetic () const
const ResMonoid &	monoid () const
const Monoid &	originalMonoid () const
bool	isSkewCommutative () const
const SkewMultiplication *	skewInfo () const
void	memUsage (const ResPolynomial &f, long &nterms, long &bytes_used, long &bytes_alloc) const

Private Attributes
VectorArithmetic	mVectorArithmetic
std::unique_ptr< const ResMonoid >	mMonoid
const Monoid *	mOriginalMonoid
const SkewMultiplication *	mSkew

Additional Inherited Members
Static Public Member Functions inherited from our_new_delete
static void *	operator new (size_t size)
static void *	operator new[] (size_t size)
static void	operator delete (void *obj)
static void	operator delete[] (void *obj)
static void *	operator new (size_t size, void *existing_memory)
static void *	operator new[] (size_t size, void *existing_memory)
static void	operator delete (void *obj, void *existing_memory)
static void	operator delete[] (void *obj, void *existing_memory)

Detailed Description

The polynomial-ring view the F4 resolution engine reduces against: coefficient arithmetic plus the engine-specific ResMonoid.

Note

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

Bundles a VectorArithmetic (built from baseRing, usually the base field but not required to be for non-minimal complexes), the ResMonoid that owns monomial layout and order, and the original Monoid for translating back to engine-side polynomials. Optional SkewMultiplication* enables the skew-commutative resolution path; isSkewCommutative() reports whether it's set.

Definition at line 115 of file res-poly-ring.hpp.

---

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

• Macaulay2/e/schreyer-resolution/res-poly-ring.hpp
• Macaulay2/e/schreyer-resolution/res-poly-ring.cpp