ImpliesRealQ
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.
更多信息和选项
- To use ImpliesRealQ, you first need to load the Experimental Functions Package using Needs["Experimental`"].
Wolfram Research (2007)，ImpliesRealQ，Wolfram 语言函数，https://reference.wolfram.com/language/Experimental/ref/ImpliesRealQ.html.
文本
Wolfram Research (2007)，ImpliesRealQ，Wolfram 语言函数，https://reference.wolfram.com/language/Experimental/ref/ImpliesRealQ.html.
CMS
Wolfram 语言. 2007. "ImpliesRealQ." Wolfram 语言与系统参考资料中心. Wolfram Research. https://reference.wolfram.com/language/Experimental/ref/ImpliesRealQ.html.
APA
Wolfram 语言. (2007). ImpliesRealQ. Wolfram 语言与系统参考资料中心. 追溯自 https://reference.wolfram.com/language/Experimental/ref/ImpliesRealQ.html 年