Suppose I have a set of assumptions
assum = x ∈ Reals && y ∈ Reals and I want to test an assertion like
ineq = (-(x^2*y) + x^2*Sqrt[y*(-x^2 + y)])/(-(x^2*y) + Sqrt[-(x^2*y*(-x^2 + y))]) > 1
How do I do this functionally?
FullSimplify[assum && ineq]; Refine[assum && ineq]; Assuming[assum, Assumptions`AImpossibleIneqQ[ineq]];
All fail to give the correct answer (first two should give
False, last one `True). What to do???
The only hack I can think of, which is not functional, and which I wish to avoid is:
$Assumptions = assum && ineq;
and look for a
$Assumptoins::cas error. But I want to avoid this. What is the function Mathematica is using to resolve a set of assumptions???