mOriginalRing

const PolynomialRing& F4ResComputation::mOriginalRing

private

Definition at line 132 of file res-f4-computation.hpp.

Referenced by F4ResComputation(), get_free(), get_matrix(), and get_matrix().