Definition at line 605 of file matrix.cpp.
606{
609 {
610 ERROR(
"concat: different base rings");
611 return nullptr;
612 }
614 {
615 ERROR(
"concat: matrices have different numbers of rows");
616 return nullptr;
617 }
618
621 int i;
623 for (i = 0; i < nc; i++) mat.set_column(i, R->copy_vec(
elem(i)));
624 for (i = 0; i < m.
n_cols(); i++)
625 mat.set_column(nc + i, R->copy_vec(m.
elem(i)));
626 return mat.to_matrix();
627}
FreeModule * direct_sum(const FreeModule *G) const
const Ring * get_ring() const
ring_elem elem(int i, int j) const
friend class MatrixConstructor
const FreeModule * rows() const
const FreeModule * cols() const
References cols(), concat(), elem(), ERROR, FreeModule, G, get_ring(), Matrix(), MatrixConstructor, n_cols(), n_rows(), rows(), MatrixConstructor::set_column(), and MatrixConstructor::to_matrix().
Referenced by concat().