Symbolic description of one row before it is materialised in the matrix: a left * (something) * right triple. More...

Detailed Description

Symbolic description of one row before it is materialised in the matrix: a left * (something) * right triple.

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

preRowType decides what preRowIndex points at: ReducerPreRow indexes either mGroebner (>= 0) or mInput (< 0, decoded as -preRowIndex - 1); OverlapPreRow is a freshly added overlap whose polynomial lives in the current cohort's mRows; PreviousReducerPreRow refers back into mPreviousRows. The Words left and right are the leading monomial decomposition needed to materialise the row.

Definition at line 137 of file NCF4.hpp.

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

Public Attributes