Definition at line 1062 of file matrix.cpp.
1063{
1065 if (P == nullptr)
1066 {
1067 ERROR(
"expected polynomial ring");
1068 return nullptr;
1069 }
1071 maxdivided = 0;
1072 for (
int i = 0; i <
n_cols(); i++)
1073 {
1074 if (
elem(i) !=
nullptr)
1075 {
1076 int lo, hi;
1078 if (maxd >= 0 && lo > maxd) lo = maxd;
1079 if (lo > maxdivided) maxdivided = lo;
1081 }
1082 }
1083 return mat.to_matrix();
1084}
const Ring * get_ring() const
ring_elem elem(int i, int j) const
friend class MatrixConstructor
const FreeModule * rows() const
virtual const PolynomialRing * cast_to_PolynomialRing() const
vec vec_divide_by_var(int n, int d, const vec v) const
void vec_degree_of_var(int n, const vec v, int &lo, int &hi) const
References MatrixConstructor::append(), divide_by_var(), elem(), ERROR, get_ring(), Matrix(), MatrixConstructor, n_cols(), rows(), MatrixConstructor::to_matrix(), Ring::vec_degree_of_var(), and Ring::vec_divide_by_var().
Referenced by divide_by_var(), IM2_Matrix_divide_by_var(), and minimal_lead_terms().