Reducing a statement with Mathematica, step by step

Asked Oct 30 '12 at 18:42

Active Oct 30 '12 at 20:49

Viewed 175 times

Possible Duplicate:
Get a “step by step” evaluation in Mathematica

I have a list of inequalities combined with quantifiers. And Mathematica is able to reduce to simple statement with the Reduce[] command , is it possible to see how it comes up with it.

Reduce[Exists[{p, \[Eta], \[Theta]}, \[Eta] (p - 1) < 1/
2 && \[Lambda] p < 2 && (1 - \[Lambda]) p/(p - 1) < 
e && \[Theta] (1 - \[Lambda]) p/(p - 1) < 1/2 + \[Eta] && 
0 < \[Lambda] < 1 && 1 < p && 
e > 0 && \[Theta] > 
0 && ((1/2 - \[Eta]) (1 + 1/(e - (1 - \[Lambda]) p/(p - 1))) < 
  1 || (1/2 - \[Eta]) (1 + 
     1/(e - (1 - \[Lambda]) p/(p - 
            1))) < \[Theta] e)], {\[Lambda], e}, Reals]

Thanks!

edited Apr 13 '17 at 12:56

Community

asked Oct 30 '12 at 18:42

warsaga

1

Probably not... possible dupe: http://mathematica.stackexchange.com/q/148/5 – rm -rf Oct 30 '12 at 18:47
The link just considers step by step evaluation of differentiation. This is different. – warsaga Oct 30 '12 at 19:10
1

Did you read the answers further below that tell you to use WolframAlpha[]? – rm -rf Oct 30 '12 at 19:17
Simply put: no, don't count on Mathematica to tell you what it does, step by step, in general. Wolfram Alpha will do it for you, but that's a different kettle of fish. – J. M.'s missing motivation Oct 30 '12 at 21:59
@J.M. From the etymologist inside: http://www.phrases.org.uk/meanings/kettle-of-fish.html – Dr. belisarius Oct 31 '12 at 03:27

Reducing a statement with Mathematica, step by step

0 Answers0

Linked