减去

x个<年

产量真的如果确定小于.

x个1<x个2<x个三

产量真的如果形成严格的递增序列。

细节

示例

全部打开全部关闭

基本示例  (2)

比较数字：

表示一个不等式：

范围  (9)

数值不等式  (7)

不等式仅定义为实数：

比较有理数：

最多相差最后八位二进制数字的近似数字被视为相等：

比较精确的数字表达式和近似数字：

比较两个精确的数值表达式；数值测试可能足以证明不等式：

消除这种不平等需要符号方法：

使用的符号和数字方法减去不足以证明这种不平等：

使用RootReduce（根减少）决定代数数的符号：

使用的数值方法减去不要使用足够的精度来证明这个不等式：

RootReduce（根还原）使用精确的方法证明了不等式：

增加的$MaxExtraPrecision（最大额外精度）也可以证明不等式：

符号不等式  (2)

符号不平等仍然没有得到评估，因为x个可能不是实数：

使用优化重新评估不等式，假设x个是真实的：

符号不等式：

使用减少要查找解决方案集的明确描述，请执行以下操作：

使用查找实例要查找解决方案实例：

使用减少要在不均匀定义的区域上进行优化，请执行以下操作：

使用优化为了简化不相等定义的假设：

属性和关系  (12)

否定两个论点减去是更大的相等:

三个论点的否定减去不会自动简化：

使用逻辑扩展用两个论据来表达更大的相等:

这不等于三个参数更大的相等:

什么时候？减去无法确定返回的数值表达式之间的不相等：

完全简化使用精确的符号变换来证明不等式：

阴性[x个]相当于:

使用减少要解决不等式：

使用查找实例要查找解决方案实例，请执行以下操作：

使用区域图和区域三维绘图要可视化不等式的解集：

不平等假设：

使用减少和最大化要解决不等式约束的优化问题：

使用N最小化和N最大化要数值求解约束优化问题：

整合不等式解集上的函数：

使用中值的,分位数、和四分位数到^（第个）最大数量：

可能的问题  (3)

机器决策近似数的不等式可能很微妙：

严格的不等式基于额外的数字：

任意精度近似数不存在此问题：

由于自动精确跟踪，减去知道只看前10位数字：

在这种情况下，机器编号之间的不相等会产生预期结果：

在这种情况下，多余的数字被忽略减去:

Wolfram Research（1988），Less，Wolfram语言函数，https://reference.wolfram.com/language/ref/Less.html（1996年更新）。

文本

Wolfram Research（1988），Less，Wolfram语言函数，https://reference.wolfram.com/language/ref/Less.html（1996年更新）。

CMS公司

沃尔夫拉姆语言。1988年，“更少”，Wolfram语言与系统文档中心。Wolfram研究。上次修改日期：1996年。https://reference.wolfram.com/language/ref/Less.html。

亚太地区

沃尔夫拉姆语言。(1988). 减去。Wolfram语言与系统文档中心。检索自https://reference.wolfram.com/language/ref/Less.html

BibTeX公司

@misc{reference.wolfram_2024_less，author=“wolfram Research”，title=“{less}”，year=“1996”，howpublished=“\url{https://reference.jolfram.com/language/ref/less.html}”]}

BibLaTeX公司

@online{reference.wolfram_2024_less，organization={wolfram Research}，title={less}，year={1996}，url={https://reference.jolfram.com/language/ref/less.html}，note=[访问时间：2024年6月20日]}