Re: Parse results from Solve
- To: mathgroup at smc.vnet.net
- Subject: [mg73935] Re: Parse results from Solve
- From: Bhuvanesh <lalu_bhatt at yahoo.com>
- Date: Sat, 3 Mar 2007 01:10:17 -0500 (EST)
One way is to use Select:
In[1]:= sols= {{x->0,y->0},{x->1,y->2}};
In[2]:= Select[sols, x!=y /. # &]
Out[2]= {{x -> 1, y -> 2}}
In[3]:= Select[sols, y>1 /. # &]
Out[3]= {{x -> 1, y -> 2}}
In[4]:= ?Select
Select[list, crit] picks out all elements ei of list for which crit[ei] is True.
Select[list, crit, n] picks out the first n elements for which crit[ei] is True.
If you want to turn the result into something that Reduce could use, you could do something like:
Or@@Map[And@@#&, sols /. Rule->Equal]
This changes the rules to equalities, turns the inner lists into conjunctions (And) and the outer one into a disjunction (Or).
In[5]:= Or@@Map[And@@#&, sols /. Rule->Equal]
Out[5]= (x == 0 && y == 0) || (x == 1 && y == 2)
Bhuvanesh,
Wolfram Research.