Bad name.  M.b. solve_univariate_inequality?