表达式测试
Wolfram 语言的符号表达式可以表示广泛类型的对象. Wolfram 语言提供了丰富的函数集合来测试表达式. 函数以指令末尾加 Q 的方式“提出问题”. 答案正确时返回 True，否则返回 False.
方程与不等式
Equal (==), Unequal (!=) — 数值方程
SameQ (===), UnsameQ (=!=) — 字符等式
Less (<) ▪ Greater (>) ▪ LessEqual (<=) ▪ GreaterEqual (>=) ▪ Between
逻辑组合 »
And(&&) ▪ Or(||) ▪ Not(!) ▪ True ▪ False ▪ ...
算子格式
GreaterThan ▪ LessThan ▪ GreaterEqualThan ▪ LessEqualThan ▪ EqualTo ▪ UnequalTo ▪ NearestTo ▪ SameAs
数值属性 »
NumberQ, MachineNumberQ — 数字，精确机器数
NumericQ — 数字的量 (包括数字，数字常量和函数）
IntegerQ ▪ EvenQ ▪ OddQ ▪ PrimeQ ▪ CoprimeQ ▪ AlgebraicIntegerQ ▪ ...
Positive ▪ Negative ▪ NonPositive ▪ NonNegative ▪ PossibleZeroQ
列表相关的测试
VectorQ, MatrixQ — 向量、矩阵，或具有指定类型的元素
ArrayQ — 任意长度的全数组
MemberQ — 测试列表是否满足模式
DuplicateFreeQ ▪ IntersectingQ ▪ DisjointQ ▪ SubsetQ
ContainsAll ▪ ContainsNone ▪ ContainsAny ▪ ContainsOnly ▪ ContainsExactly
表达式测试
MatchQ — 测试表达式是否匹配一个模式
AtomQ ▪ ListQ ▪ TrueQ ▪ BooleanQ ▪ OrderedQ ▪ PolynomialQ ▪ DateObjectQ ▪ TimeObjectQ ▪ PolynomialExpressionQ ▪ RationalExpressionQ
Order — 表达式的规则排序
LexicographicOrder ▪ NumericalOrder ▪ AlphabeticOrder
字符串测试 »
StringQ ▪ StringMatchQ ▪ StringFreeQ ▪ LetterQ ▪ DigitQ ▪ SyntaxQ ▪ ...