ResPolynomial Class Reference

Polynomial type used by the F4 resolution engine: parallel coefficient vector and concatenated monomial buffer. More...

#include <res-poly-ring.hpp>

Public Member Functions
	ResPolynomial ()
	~ResPolynomial ()
	ResPolynomial (const ResPolynomial &other)=default
	ResPolynomial (ResPolynomial &&other)=default
ResPolynomial &	operator= (const ResPolynomial &other)=default
ResPolynomial &	operator= (ResPolynomial &&other)=default

Public Attributes
int	len
ElementArray	coeffs
std::vector< res_monomial_word >	monoms

Static Public Attributes
static long	npoly_destructor = 0

Friends
class	ResPolyRing
class	ResPolynomialConstructor
class	ResPolynomialIterator

Detailed Description

Polynomial type used by the F4 resolution engine: parallel coefficient vector and concatenated monomial buffer.

Note

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

coeffs is an ElementArray of len coefficients managed through VectorArithmetic. monoms is a flat std::vector<res_monomial_word> holding all len monomials laid out back-to-back (variable-size in the general case — iterate with ResPolynomialIterator, which advances by ResMonoid::monomial_size). The static npoly_destructor counter tracks how many destructors actually freed a coefficient array, useful for leak / churn diagnostics. Copy and move are default because both members own their data.

Definition at line 75 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