Mathematica Stack Exchange is a question and answer site for users of Mathematica. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I'm wondering if there is any way of doing something like the following: FindInstance[x < y, {x}, Reals] and getting, as a possible return value, {x -> y - 1}.

Currently FindInstance will complain that y is a non-constant expression..

share|improve this question
I am assuming you would not be satisfied with FindInstance[x - y < 0, {x, y}, Reals] (* {x->0,y->1} *) – chris Oct 26 '12 at 9:59
At this point, I think that I will just implement a function which uses CylindricalDecomposition. If I do successfully do that, I'll post it as an answer here. – jnhnum1 Oct 27 '12 at 16:33

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.