|
Macaulay2 Engine
|
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 |
Comparator on indices into an spair table, ordering by sugar degree then by the larger of the two parent indices.
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.