Say I have

a > c && c > b

What function can eliminate c to yield:

a > b

A lot like:

Eliminate[a == c && c == b, c]

but for inequalities

  • 1
    $\begingroup$ I suspect Resolve is the function of choice for this. In[92]:= Resolve[Exists[c, a > c && c > b], {a, b}, Reals] Out[92]= b < a $\endgroup$ Commented Sep 21, 2016 at 18:34

1 Answer 1


This is fairly close:

Reduce[a > c && c > b, {a, b}, {c}]
(*  a ∈ Reals && b < a  *)

Reference for this (now undocumented) form of the third argument of Solve/Reduce: Behavior of Reduce with variables as domain

  • $\begingroup$ I didn't know you can pass that as domain... $\endgroup$
    – kozner
    Commented Sep 20, 2016 at 23:56
  • $\begingroup$ @kozner If you read Mr.Wizard's answer to the linked question, you'll see that this form for the "domain" is interpreted as a list of variables to be eliminated. It used to be documented, but the form was dropped from the documentation a few versions ago. $\endgroup$
    – Michael E2
    Commented Sep 21, 2016 at 0:03

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.