Enable JavaScript to interact with content and submit forms on Wolfram websites. Learn how

UnsameQ

lhs=!=rhs

如果表达式 lhs 与 lhs 不相同，则产生 True，否则产生 False.

更多信息

如果 e_i 中两两不相等，e₁=!=e₂=!=e₃ 给出 True.
UnsameQ[] 和 UnsameQ[expr] 总是返回 True. »

背景

如果 expr₁ 不恒等于 expr₂，那么 UnsameQ[expr₁,expr₂] 返回 True，否则，返回 False. 特例，UnsameQ[expr₁,expr₂] 返回 False 当且仅当 SameQ[expr₁,expr₂] 返回 True（即，如果表达式expr₁ 和 expr₂ 的基本 FullForm 表示之间存在精确的对应，例外的是：实数被认为 SameQ，如果只是它们的最后一个二进制数字不同）. UnsameQ[expr₁,expr₂] 可以输入为 expr₁=!=expr₂. 多变量形式为 UnsameQ[expr₁,expr₂,…]，它可以输入为 expr₁=!=expr₂=!=…，如果没有两个 expr_i 表达式是等同的，则返回 True.
不同的表达式输入形式不会是 UnsameQ，如果它们基本的表示是恒同的；例如，n! =!=Factorial[n] 返回 False. 另外，UnsameQ 区分数字表示，即数值相等，但是没有相同的表示. 例如，UnsameQ[1,1.] 与 UnsameQ[1.,1.+0.I] 均返回 True. 这种行为明显不同于 Unequal 所展示的，它执行相等测试，如果不能解决则保持未评估.
UnsameQ 与许多其他符合相关. Unequal[expr₁,expr₂]（它可以输入为 expr₁!=expr₂ 或 expr₁≠expr₂）返回 True，如果 expr₁ 与 expr₂ 是数值不等. SameQ（可以输入为 expr₁===expr₂）是 UnsameQ 的反.
PossibleZeroQ 可用于指明如果给定的表达式在某些情况下具有值，其中 UnsameQ 返回 True. 例如，UnsameQ[Erf[Log[4]+2Log[Sin[Pi/8]]]-Erf[Log[2-Sqrt[2]]],0] 返回 True, 其中，在第一自变量调用 PossibleZeroQ 通过返回 True 表明它等于零（连同信息性消息，表明无法严格建立零值）. 当 UnsameQ 和 Unequal（或 SameQ 和 Equal) 不能时，符号简化像 Simplify、FullSimplify 和 RootReduce 有时可用于严格建立相等性（包括刚给的例子）.

范例

打开所有单元关闭所有单元

基本范例 (2)

测试两个表达式是否不相等：

!= 保持符号，除非给出逐字的值：

完全形式：

范围 (3)

测试字符串是否相等：

不同表示下数是不相等：

!= 仍然视它们是相等的：

测试多个表达式是否不相等：

应用 (1)

构建完全反对称张量的永久类比：

1 出现在相应排列中的位置：

属性和关系 (4)

UnsameQ 接受任意数量的参数：

如果 UnsameQ[expr_i,expr_j] 对于全部 i 和 j 均为 True，则 UnsameQ[expr₁,expr₂,…] 给出 True：

如果其中一个表达式与另一个相同，则 UnsameQ 给出 False：

UnsameQ[expr₁,expre₂] 等价于 !SameQ[expr₁,expr₂]：

对于除了二以外的参数计数，UnsameQ[…] 和 !SameQ[…] 不是等价的：

UnsameQ[] 和 UnsameQ[expr] 总是给出 True：

顶部