mReducers

std::vector<Row> F4Res::mReducers

private

Definition at line 179 of file res-f4.hpp.

Referenced by clearMatrix(), construct(), debugOutputReducerMatrix(), debugOutputReducers(), gaussReduce(), gaussReduceRow(), makeMatrix(), processCurrentMonomial(), and reorderColumns().