MATHEMATICA 組込みシンボル

Equal

lhs と rhs が同じである場合，Trueを返す．

詳細

は，Solveのような関数を使って操作する記号方程式を表すときに使われる．

は，lhs と rhs が通常の同じ式である場合，Trueを返す．

は，lhs と rhs が，数または他の未加工データ（文字列等）を比較した上で等しくないと判断された場合，Falseを返す．

機械精度あるいはそれ以上の精度の近似数は，二進法表記で最後の7桁までは異なっても等しいとされる（十進法表記では最後の2桁程度）．

機械精度よりも精度の低い数の場合，要求される許容度は数の精度に比例して小さくなる．

は，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)

数の等価性をテストする：

二進法で最高で最後の7桁が異なる近似数は等しいとみなされる：

厳密数の式と近似数を比較する：

2つの厳密数の式を比較する．等価ではないことの証明には数値テストで十分なことがある：

等価性の証明には記号的なメソッドが必要である：

Equalが使う記号メソッドでは，この等価性の証明には不十分である：

RootReduceを使って2つの代数的数が等しいかどうか判断する：

Equalが使う数値メソッドはこの式が等価ではないと証明するのに十分な精度ではない：

RootReduceは2つの代数的数が等価ではないことを証明する：

$MaxExtraPrecisionの値を大きくすることでも等価ではないことの証明ができるかもしれない：

記号的な恒等式：

Equalは，自動的にはこの恒等式を証明しない：

Expandを使ってこれを証明する：

記号方程式：

Solveを使ってこの方程式を解く：

Reduceはパラメータの一般的ではない値を必要とするものを含めすべての解を返す：

3つ以上の式を比べる：

リストを比べる：

文字列を比べる：

特性と関係 (6)

2つの引数を持つEqualの否定はUnequalである：

3つの引数を持つEqualの否定は自動的には簡約されない：

LogicalExpandを使って2引数のUnequalについて上記を表現する：

3引数のEqualの否定は3引数のUnequalと等価ではない：

Equalは式で表されるオブジェクトの数学的等価性をテストする：

SameQは式の構文的等価性をテストする：

Equalが2つの数による式が等価かどうか判断できない場合は，未評価のまま返す：

FullSimplifyは厳密な記号的変換を使って等価性を証明する：

PossibleZeroQは数値的および記号的ヒューリスティックを使って式が零かどうか判断する：

PossibleZeroQが使う数値メソッドは数が零であると不正確に判断することがある：

Solveを使ってパラメータの一般的な値の方程式を解く：

Reduceは一般的ではないパラメータ値を使うものを含むすべての解を与える：

Reduceを使って指定の領域上で方程式を解く：

考えられる問題 (5)

機械精度の近似数の等価性は微妙なことがある：

余分な桁が等性を乱す：

任意精度の近似数にはこの問題はない：

自動精度追跡機能により，Equalには最初の10桁のみを見ればよいことが分かっている：

この場合は，機械数の等性テストが成功する：

この場合の余分な桁はEqualによって無視される：

等性は近似数にとっては推移的ではないことがある：

Equalは，ブールの等価演算子としては扱われない：

代りにEquivalentを使う：