Macaulay2 Engine
Loading...
Searching...
No Matches
SPairCompare Class Reference

Comparator on indices into an spair table, ordering by sugar degree then by the larger of the two parent indices. More...

#include <f4-types.hpp>

Public Member Functions

 SPairCompare (const std::vector< spair > &spairs)
bool operator() (size_t s, size_t t) const

Private Attributes

const std::vector< spair > & mSPairs

Detailed Description

Comparator on indices into an spair table, ordering by sugar degree then by the larger of the two parent indices.

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

Drives the S-pair queue inside the F4 algorithm: largest sugar degree first, then largest i. operator()(s, t) returns true when s should come before t under that order, so it's wired straight into std::priority_queue and friends.

Definition at line 337 of file f4-types.hpp.


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