Searched refs:Pottier_ideal (Results 1 – 2 of 2) sorted by relevance
214 ideal& Pottier_ideal(matrix&, const term_ordering&);
214 ideal& ideal::Pottier_ideal(matrix& A, const term_ordering& _w) in Pottier_ideal() function in ideal758 Pottier_ideal(A,_w); in ideal()