MATHEMATICA 内置符号

Equal

如果 lhs 和 rhs 相同，

返回 True.

更多信息

用来表示一个即将使用函数如 Solve 等操作的符号方程.

如果 lhs 和 rhs 是同一表达式，返回 True.

如果通过比较数字或其它原始数据，比如字符串，lhs 和 rhs 确实不相等，返回 False.

对于近似数，如果它们至多在最后八个二进制位不同(粗略地计算，等价于至多在最后两个十进制位不同)，则它们被认为是相等的.

机器精度的允许误差基于数字精度而降低.

的结果为 True.

如果所有相等，的结果为 True.

Equal[e] 的结果为 True.

对于精确数值，Equal 在内部通过数值近似建立不等式. 这个过程可能受到全局变量 $MaxExtraPrecision 设置的影响.

当 lhs 或 rhs 包含诸如 Indeterminate 和 Overflow 的对象时，Equal 保留不求值.

在 StandardForm 和 InputForm 中，可以输入为 lhs\[Equal]rhs 或 .

可由 \[LongEqual] 或输入.

在 TraditionalForm 中，的输出结果为 .

范例

关闭所有单元

例 (2)

测试方程：

描述方程：

测试方程：

In[1]:=

Out[1]=

描述方程：

In[1]:=

Out[1]=

In[2]:=

Out[2]=

范围 (12)

测试等式：

二进制数据最后七位近似值：

比较精确数值和近似数值：

比较两个精确数值，数值测试可能会有相反结果：

用符号方法证明相等：

Equal 的符号方法不足以证明等式：

用 RootReduce 判断两个数字是否相等：

用 Equal 在足够的精度下以数值方法证明不相等：

RootReduce 证明两个数字不相等：

$MaxExtraPrecision 证明不相等：

符号比较：

Equal 不会自动证明这个等式：

使用 Expand 来证明：

符号方程：

用 Solve 证明方程：

Reduce 给出包括需要非正常参数的解决方案：

比较两个以上的表达式：

比较列表：

比较字符串：

属性和关系 (6)

非双参数的 Equal 为 Unequal：

非三参数的 Equal 不会自动单一化：

用 LogicalExpand 表达双参数 Unequal：

非三参数 Equal 不等同于三参数 Unequal：

Equal 测试数学表达式对象是否相等：

SameQ 测试表达式是否相等：

Equal 将无法判断是否相等的表达式原样输出：

FullSimplify 使用精确数值变换证明相等：

PossibleZeroQ 用数值和符号方法判断表达式是否为零：

PossibleZeroQ 用数值方法准确判断数值是否为零：

用 Solve 解答一般值参数的方程：

Reduce 给出包括非普通值参数的解决方案：

用 Reduce 求解特殊领域的方程：

可能存在的问题 (5)

判断时对机器精度附近的数值很敏感：

额外数字破坏相等性：

任意相似精度数值不存在这个问题：

自动精度下 Equal 会仅仅关注前十个有效数字：

测试机器精度成功：

Equal 忽略额外有效数字：

对于近似数，相等性可能不是可传递的：

Equal 不识别布尔操作符：

Equivalent 则识别：

参见

SameQ Unequal Equivalent KroneckerDelta PossibleZeroQ Order Element Reduce Simplify

教程

方程

关系运算符和逻辑运算符