reverted changes of sympy#17723 for 1.5

czgdp1807 · czgdp1807 · commit 542c72fdff1f · 2019-11-19T14:38:03.000+05:30
diff --git a/sympy/solvers/solvers.py b/sympy/solvers/solvers.py
@@ -985,30 +985,6 @@ def _sympified_list(w):
             f[i] = fi
 
         if fi.is_Relational:
-            if flags.get('dict', False):
-                solution = reduce_inequalities(f, symbols=symbols)
-                if isinstance(solution, Equality):
-                    return [{solution.lhs: solution.rhs}]
-                solution = list(solution.args)
-                for sol in solution:
-                    # Behavior for types like StrictLessThan is not defined
-                    if not isinstance(sol, (Or, Equality)):
-                        warnings.warn(filldedent('''
-                            Warning: Ignoring dict=True due to
-                            incompatible type of %s.''' % sol))
-                        return reduce_inequalities(f, symbols=symbols)
-                intermediate = [sol for sol in solution
-                                if isinstance(sol, Equality)]
-                solution[:] = [sol.args for sol in solution
-                               if sol not in intermediate]
-                solutions = [intermediate + list(sol)
-                             for sol in itertools.product(*solution)]
-                for i in range(len(solutions)):
-                    ele = {}
-                    for sol in solutions[i]:
-                        ele[sol.lhs] = sol.rhs
-                    solutions[i] = ele
-                return [] if solutions == [{}] else solutions
             return reduce_inequalities(f, symbols=symbols)
 
         if isinstance(fi, Poly):
diff --git a/sympy/solvers/tests/test_solvers.py b/sympy/solvers/tests/test_solvers.py
@@ -174,17 +174,6 @@ def test_solve_args():
     assert solve(True, x) == []
     assert solve([x-1, False], [x], set=True) == ([], set())
 
-
-def test_solve_dict():
-    assert solve(Eq(2*x,1), dict=True) == [{x: S(1)/2}]
-    assert solve([Eq(x**2-1, 0), Gt(x, 0)], (x,), dict=True) == [{x: 1}]
-    assert solve([Eq(x**3-6*x**2+11*x-6, 0), Eq(y**2, 1), Eq(z, 1)],
-            (x, y, z,), dict=True) == [{x: 1, y: -1, z: 1}, {x: 1, y: 1, z: 1},
-                                       {x: 2, y: -1, z: 1}, {x: 2, y: 1, z: 1},
-                                       {x: 3, y: -1, z: 1}, {x: 3, y: 1, z: 1}]
-    assert solve(Gt(x, 0), (x,), dict=True) == And(Lt(0, x), Lt(x, oo))
-
-
 def test_solve_polynomial1():
     assert solve(3*x - 2, x) == [Rational(2, 3)]
     assert solve(Eq(3*x, 2), x) == [Rational(2, 3)]
