def _handle_zero_dimensional(polys, symbols, system):
    result = solve_poly_system(polys, *symbols)
    result_update = S.EmptySet
    for res in result:
        dict_sym_value = dict(list(zip(symbols, res)))
        if all((checksol(eq, dict_sym_value) for eq in system)):
            result_update += FiniteSet(res)
    return result_update
def _handle_zero_dimensional(polys, symbols, system):
    result = solve_poly_system(polys, *symbols)
    result_update = S.EmptySet
    for res in result:
        dict_sym_value = dict(list(zip(symbols, res)))
        if all((checksol(eq, dict_sym_value) for eq in system)):
            result_update += FiniteSet(res)
    return result_update