PossibleZeroQ[expr] 如果基本的符号和数值方法判断出 expr 有零值时，返回 True. 否则返回 False.
判断一个数值表达式是否为零：
判断一个符号表达式是否有可能恒等于零：
SameQ Equal Simplify FullSimplify N ZeroTest
400+ new features, including the new Wolfram Predictive Interface, social network analysis, enterprise CDF deployment, and more »
