getMonoid()

virtual const Monoid * PolynomialRing::getMonoid ( ) const

inlinevirtual

Definition at line 282 of file polyring.hpp.

{ return M_; }

References M_.

Referenced by MatrixStream::appendTermDone(), BRPSfromMatrix(), BRPStoMatrix(), check_nterm_multiples(), BIBasis::Launcher::CheckMatrix(), ResolutionComputation::choose_res(), hilb_comp::coeff_of(), Matrix::coeffs(), coeffs_of_vec(), computeHashValue(), convertToFactory(), ChineseRemainder::CRA(), gbA::create(), ReducedGB::create(), SchreyerOrder::create(), SchreyerOrder::create(), SchurRing::create(), SolvableAlgebra::create(), create_quotient(), F4ResComputation::createF4Res, PolyRing::division_algorithm_with_laurent_variables(), Matrix::elim_keep(), Matrix::elim_vars(), FreeModule::FreeModule(), F4toM2Interface::from_M2_vec(), ResF4toM2Interface::from_M2_vec(), PolyRing::get_logical_coeff(), IM2_Ring_frac(), IM2_Ring_skew_polyring(), IM2_Ring_weyl_algebra(), gbA::initialize(), FractionField::initialize_frac(), Matrix::koszul(), Matrix::koszul_monomials(), PolyRing::list_form(), Matrix::make(), PolyRing::make_logical_term(), Matrix::make_monideal(), PolyRing::make_trivial_ZZ_poly_ring(), makemonideal(), matrixToStream(), Matrix::monomials(), ChineseRemainder::ratConversion(), rawMGB(), rawRoots(), PolyRing::remainderAndQuotient(), PolyRing::setNegativeExponentMonomial(), sagbi::subduct(), Matrix::support(), MonomialIdeal::text_out(), ResF4toM2Interface::to_M2_freemodule(), ResF4toM2Interface::to_M2_freemodule(), ResF4toM2Interface::to_M2_MutableMatrix(), F4toM2Interface::to_M2_vec(), ResF4toM2Interface::to_M2_vec(), Tower::translate(), Ring::vec_in_subring(), and Ring::vec_remove_monomial_factors().