Definition at line 659 of file matrix.cpp.
660{
663 {
664 ERROR(
"matrix mult: different base rings");
665 return nullptr;
666 }
668 {
669 ERROR(
"matrix mult: matrix sizes don't match");
670 return nullptr;
671 }
672
676
678
679 D->remove(deg);
680
681 for (
int i = 0; i < m->
n_cols(); i++)
683 return mat.to_matrix();
684}
const_monomial degree_shift() 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
monomial make_new(const_monomial d) const
vec mult_vec_matrix(const Matrix *m, vec v, bool opposite_mult) const
const Monoid * degree_monoid() const
References cols(), Ring::degree_monoid(), degree_shift(), elem(), ERROR, get_ring(), Matrix(), MatrixConstructor, monomial, mult(), Ring::mult_vec_matrix(), n_cols(), n_rows(), rows(), MatrixConstructor::set_column(), and MatrixConstructor::to_matrix().
Referenced by mult().