get_induced_order()

Matrix * FreeModule::get_induced_order

(

)

const

Definition at line 100 of file freemod.cpp.

{
  const PolynomialRing *P = R->cast_to_PolynomialRing();
  if (!schreyer || P == nullptr) return Matrix::zero(R->make_FreeModule(0), this);
  const SchreyerOrder *S = schreyer;
  int i;
  int maxtie = 0;
  for (i = 0; i < rank(); i++)
    if (S->compare_num(i) > maxtie) maxtie = S->compare_num(i);
  const FreeModule *F = R->make_FreeModule(maxtie + 1);
  MatrixConstructor mat(F, this, nullptr);
  for (i = 0; i < rank(); i++)
    {
      ring_elem f = P->make_flat_term(P->getCoefficients()->from_long(1),
                                      S->base_monom(i));
      mat.set_entry(S->compare_num(i), i, f);
    }
  return mat.to_matrix();
}

References SchreyerOrder::base_monom(), SchreyerOrder::compare_num(), FreeModule(), Ring::from_long(), PolynomialRing::getCoefficients(), PolynomialRing::make_flat_term(), Matrix, R, rank(), schreyer, MatrixConstructor::set_entry(), and MatrixConstructor::to_matrix().

Referenced by IM2_FreeModule_get_schreyer().