Searched defs:icpp (Results 1 – 3 of 3) sorted by relevance
173 IMIC **icpp; local
7261 …void manager::icpp(polynomial const * p, var x, numeral & i, polynomial_ref & c, polynomial_ref & … in icpp() function in polynomial::manager