Definition at line 369 of file matrix.cpp.
References ERROR, FreeModule, G, FreeModule::get_ring(), Matrix(), MatrixConstructor, MatrixConstructor::to_matrix(), and zero().
Referenced by zero().