Per-level Schreyer-order data attached to a SchreyerFrame::Level. More...

#include <res-schreyer-order.hpp>

Public Attributes
std::vector< res_packed_monomial >	mTotalMonom
std::vector< component_index >	mTieBreaker

Detailed Description

Per-level Schreyer-order data attached to a SchreyerFrame::Level.

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

mTotalMonom[i] is the "total monomial" used as the comparison key for the i-th frame element at this level: the underlying monomial pre-multiplied by the parent-level base monomial. mTieBreaker[i] carries the per-element tiebreaker (typically the parent's component_index) so equal total monomials still have a deterministic order. Together they form the inherited data the next level's monomial order needs to behave consistently across the resolution.

Definition at line 59 of file res-schreyer-order.hpp.

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

Macaulay2/e/schreyer-resolution/res-schreyer-order.hpp

Public Attributes

Detailed Description