From 88dec5a75c53522f0a24889b4e60efda0964d700 Mon Sep 17 00:00:00 2001 From: Akshay Ajagekar Date: Thu, 3 Mar 2016 21:30:42 +0530 Subject: [PATCH] Trac 16753 : solve of equation system misses trivial simplifications The 'solve' function now returns empty set for unsolved equations. Changed test which used to fail new changes. --- src/sage/symbolic/relation.py | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/sage/symbolic/relation.py b/src/sage/symbolic/relation.py index f19d2ef0f3b..b28902e65ef 100644 --- a/src/sage/symbolic/relation.py +++ b/src/sage/symbolic/relation.py @@ -733,7 +733,7 @@ def solve(f, *args, **kwds): TESTS:: sage: solve([sin(x)==x,y^2==x],x,y) - [sin(x) == x, y^2 == x] + [] sage: solve(0==1,x) Traceback (most recent call last): ... @@ -860,7 +860,8 @@ def solve(f, *args, **kwds): s = [] sol_list = string_to_list_of_solutions(repr(s)) - + if f == sol_list: + sol_list = [] # Relaxed form suggested by Mike Hansen (#8553): if kwds.get('solution_dict', False): if len(sol_list)==0: # fixes IndexError on empty solution list (#8553)