def reduce_abs_inequalities(exprs, gen):
 return And(*[reduce_abs_inequality(expr, rel, gen) for (expr, rel) in exprs])

def reduce_abs_inequalities ( exprs , gen ) : return And ( * [ reduce_abs_inequality ( expr , rel , gen ) for ( expr , rel ) in exprs ] )
reduce a system of inequalities with nested absolute values .