FreeQ

FreeQ[expr,form]
如果在 expr 中没有匹配 form 的子表达式,则生成 True,否则生成 False.

FreeQ[expr,form,levelspec]
仅测试在 expr 的那些由 levelspec 指定的层的部分.

更多信息和选项更多信息和选项

  • form 可以是一个模式.
  • FreeQ 用标准层次规格指定:
  • n 层到第 n
    Infinity从第 层到 Infinity
    {n}仅第 n
    {n1,n2}从第 层到第
  • levelspecFreeQ 中的默认值是 {0, Infinity}.
  • 正层数 n 包含了所有由 n 指标指定的 expr 的所有部分.
  • 负层数 -n 包含了深度 nexpr 所有部分.
  • 层数 包含数字、符号和其它无子集的对象.
  • 层数 对应整个表达式.
  • 默认选项设置 Heads->TrueFreeQ 查找表达式的头部和它们的组成部分.
1988年引入
(1.0)