Implements ResolutionComputation.
Definition at line 205 of file res-a1.hpp.
References make_minimal(), and Matrix.