WOLFRAM

Wolfram Language & System Documentation Center

ImpliesRealQ[ineqs1,ineqs2]

tests whether the inequalities and equations ineqs1 imply the ineqs2 for all real values of all variables.

Details and Options
Details and Options Details and Options
See Also
Cite this Page
Experimental`
Experimental`

ImpliesRealQ

This functionality has been replaced by Resolve and related symbols.

ImpliesRealQ[ineqs1,ineqs2]

tests whether the inequalities and equations ineqs1 imply the ineqs2 for all real values of all variables.

Details and Options

Wolfram Research (2007), ImpliesRealQ, Wolfram Language function, https://reference.wolfram.com/language/Experimental/ref/ImpliesRealQ.html.

Text

Wolfram Research (2007), ImpliesRealQ, Wolfram Language function, https://reference.wolfram.com/language/Experimental/ref/ImpliesRealQ.html.

CMS

Wolfram Language. 2007. "ImpliesRealQ." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/Experimental/ref/ImpliesRealQ.html.

APA

Wolfram Language. (2007). ImpliesRealQ. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/Experimental/ref/ImpliesRealQ.html

BibTeX

@misc{reference.wolfram_2025_impliesrealq, author="Wolfram Research", title="{ImpliesRealQ}", year="2007", howpublished="\url{https://reference.wolfram.com/language/Experimental/ref/ImpliesRealQ.html}", note=[Accessed: 18-August-2025]}

BibLaTeX

@online{reference.wolfram_2025_impliesrealq, organization={Wolfram Research}, title={ImpliesRealQ}, year={2007}, url={https://reference.wolfram.com/language/Experimental/ref/ImpliesRealQ.html}, note=[Accessed: 18-August-2025]}