Definition at line 588 of file matrix.cpp.
589{
591 auto D = R->degree_monoid();
593 if (!R->is_zero(r)) R->multi_degree(r, deg);
596 for (
int i = 0; i <
n_cols(); i++)
597 {
598 vec w = R->copy_vec(
elem(i));
599 R->mult_vec_to(w, r, opposite_mult);
600 mat.set_column(i, w);
601 }
602 return mat.to_matrix();
603}
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
References cols(), degree_shift(), elem(), get_ring(), Matrix(), MatrixConstructor, monomial, n_cols(), rows(), scalar_mult(), MatrixConstructor::set_column(), and MatrixConstructor::to_matrix().
Referenced by scalar_mult().