Take the 2-minute tour ×
Mathematica Stack Exchange is a question and answer site for users of Mathematica. It's 100% free, no registration required.

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
2  
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
add comment

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.