mThisLevel

int F4Res::mThisLevel

private

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

Referenced by clearMatrix(), findDivisor(), gaussReduce(), gaussReduceRow(), loadRow(), makeMatrix(), processMonomialProduct(), reorderColumns(), and resetMatrix().