mRing

const ResPolyRing& F4Res::mRing

private

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

Referenced by clearMatrix(), debugOutputMatrix(), debugOutputMatrixSparse(), F4Res(), gaussReduce(), gaussReduceRow(), loadRow(), monoid(), ring(), and vectorArithmetic().