Definition at line 35 of file matrix.cpp.
References Ring::degree_monoid(), Matrix::degree_shift(), Matrix::get_ring(), Matrix, and to_degree_vector().