Searched defs:get_monomial (Results 1 – 6 of 6) sorted by relevance
69 monomial const * get_monomial(unsigned idx) const { return m_monomials[idx]; } in get_monomial() function
550 …monomial * get_monomial(var x) const { SASSERT(is_monomial(x)); return static_cast<monomial*>(m_de… in get_monomial() function
1758 monomial * manager::get_monomial(polynomial const * p, unsigned i) { in get_monomial() function in polynomial::manager