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..

  • 2
    $\begingroup$ I am assuming you would not be satisfied with FindInstance[x - y < 0, {x, y}, Reals] (* {x->0,y->1} *) $\endgroup$ – chris Oct 26 '12 at 9:59
  • $\begingroup$ 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. $\endgroup$ – jnhnum1 Oct 27 '12 at 16:33

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.