Searched refs:order_lemma_on_monic (Results 1 – 4 of 4) sorted by relevance
50 void order_lemma_on_monic(const monic& rm);
32 order_lemma_on_monic(c().emons()[j]); in order_lemma()40 void order::order_lemma_on_monic(const monic& m) { in order_lemma_on_monic() function in nla::order