mComp

std::unique_ptr<SchreyerFrame> F4ResComputation::mComp

private

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

Referenced by F4ResComputation(), frame(), get_betti(), get_free(), get_matrix(), get_matrix(), and start_computation().