1
$\begingroup$

I am using the Simplify and Reduce functions to reduce inequalities, but somehow the function Simplify does not consistently give "True" when the inequality happens to be one of the assumptions. Could you help me understand this output?

Here is a simple example that works as expected:

Simplify[Reduce[x > y /(a + b)], Assumptions -> x > y /(a + b)]

This gives: True

But this one does not:

Simplify[Reduce[x > y z/(a + b)], Assumptions -> x > y z /( a + b)]

This gives: a + b != 0

Thank you.

Improve this question
$\endgroup$

1 Answer 1

Reset to default
3
$\begingroup$

This has to do with the maximum number of non-linear variables which is set to 4 by default. Changing this parameter solves my issue:

SetSystemOptions["SimplificationOptions" -> {"AssumptionsMaxNonlinearVariables" -> 10}];
Improve this answer
$\endgroup$

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.