Definition at line 691 of file matrix.cpp.
References Matrix, result(), and Matrix::top_coefficients().