def solve_poly_inequalities(polys):
 from sympy import Union
 return Union(*[solve_poly_inequality(*p) for p in polys])

def solve_poly_inequalities ( polys ) : from sympy import Union return Union ( * [ solve_poly_inequality ( * p ) for p in polys ] )
solve polynomial inequalities with rational coefficients .