isequal

シンボリック入力が等しいかどうかの判定

構文

tf = isequal(A,B)

tf = isequal(A1,A2,...,An)

説明

tf = isequal(A,B) は、A と B が同じサイズであり、コーディングの観点から見てそれらの内容が等価である場合に logical 1 (true) を返します。それ以外の場合、isequal は logical 0 (false) を返します。isequal は NaN (Not a Number) 値が互いに等しいものと見なしません。isequal は、シンボリック データ構造体の内容およびオブジェクトのプロパティを再帰的に比較します。すべての内容が対応する位置で等しい場合、isequal は logical 1 (true) を返します。

tf = isequal(A1,A2,...,An) は、すべての入力 A1,A2,...,An が等しい場合に logical 1 (true) を返します。

例

数値の等価性のテスト

isequal を使用して数値入力またはシンボリック入力の等価性をテストします。数値入力とシンボリック入力を比較する場合、double と sym は異なるデータ型であるため、isequal は 0 (false) を返します。

2 と 5 が等価であるかテストします。double どうしを比較しているため、MATLAB® 関数isequalが呼び出されます。isequal は予想どおり 0 (false) を返します。

tf = isequal(2,5)

tf = logical
   0

方程式 cos(x) == -1 の解が pi であるかテストします。関数 isequal は 1 (true) を返します。これは、解が pi と等価であることを意味します。

syms x
sol = solve(cos(x) == -1,x);
tf = isequal(sol,sym(pi))

tf = logical
   1

pi の double 表現とシンボリック表現を比較します。double と sym は異なるデータ型であるため、isequal は 0 (false) を返します。この場合に 1 (true) が返されるようにするには、代わりにlogicalを使用します。

usingIsEqual = isequal(pi,sym(pi))

usingIsEqual = logical
   0

usingLogical = logical(pi == sym(pi))

usingLogical = logical
   1

シンボリック式の等価性のテスト

コーディングの観点から見て式 tan(x) と sin(x)/cos(x) が等しいかどうかをテストします。式が異なるため、関数 isequal は 0 (false) を返します。isequal は式を数学的に比較しません。

syms x
tf = isequal(tan(x),sin(x)/cos(x))

tf = logical
   0

式 tan(x) を sin(x) と cos(x) で書き換えます。rewrite が tan(x) を sin(x)/cos(x) に正しく書き換えるかどうかをテストします。関数 isequal は 1 (true) を返します。

f = rewrite(tan(x),"sincos");
testf = sin(x)/cos(x);
tf = isequal(f,testf)

tf = logical
   1

x のすべての値について数学的な比較 tan(x) == sin(x)/cos(x) が成り立つかどうかをチェックするには、isAlways を使用します。

tf = isAlways(tan(x) == sin(x)/cos(x))

tf = logical
   1

シンボリックなベクトルと行列の等価性のテスト

solve によって求められた二次方程式の解が予想した解と等しいかどうかをテストします。関数 isequal は 1 (true) を返します。これは、シンボリック ベクトルが等しいことを意味します。

syms a b c x
eqn = a*x^2 + b*x + c;
Sol = solve(eqn,x);
testSol = [-(b+(b^2-4*a*c)^(1/2))/(2*a); -(b-(b^2-4*a*c)^(1/2))/(2*a)];
tf = isequal(Sol,testSol)

tf = logical
   1

ヒルベルト行列は、逆行列を正確に計算することが難しい特別な行列です。逆行列が正確に計算されている場合、逆行列と元のヒルベルト行列を乗算すると単位行列が返されます。

次の条件を使用して、hilb(20) の逆行列が正しく計算されているかどうかをテストします。isequal は 1 (true) を返します。これは、逆行列と元のヒルベルト行列の積が単位行列と等しいことを意味します。

H = sym(hilb(20));
prod = H*inv(H);
eye20 = sym(eye(20));
tf = isequal(prod,eye20)

tf = logical
   1

NaN を含む入力の比較

NaN (Not a Number) を含む 3 つのベクトルを比較します。isequal が NaN 値を等価として扱わないため、isequal は logical 0 (false) を返します。

syms x
A1 = [x NaN NaN];
A2 = [x NaN NaN];
A3 = [x NaN NaN];
tf = isequal(A1,A2,A3)

tf = logical
   0

入力引数

A,B — 比較される入力 (個別の引数として指定)

数値 | ベクトル | 行列 | 配列 | シンボリック数 | シンボリック スカラー変数 | シンボリック行列変数 | シンボリック配列 | シンボリック関数 | シンボリック行列関数 | シンボリック式

比較される入力。数値、ベクトル、行列、または配列として指定するか、シンボリック数、シンボリック スカラー変数、シンボリック行列変数、シンボリック配列、シンボリック関数、シンボリック行列関数、またはシンボリック式として指定します。

A1,A2,...,An — 比較される一連の入力 (個別の引数として指定)

数値 | ベクトル | 行列 | 配列 | シンボリック数 | シンボリック スカラー変数 | シンボリック行列変数 | シンボリック配列 | シンボリック関数 | シンボリック行列関数 | シンボリック式

比較される一連の入力。数値、ベクトル、行列、または配列として指定するか、シンボリック数、シンボリック スカラー変数、シンボリック行列変数、シンボリック配列、シンボリック関数、シンボリック行列関数、またはシンボリック式として指定します。

ヒント

• isequal(A,B) は、A と B のサイズが同じであり、コーディングの観点から見てそれらの内容が等しいかどうかをチェックします。A と B の変数のすべての値について、条件 A == B が常に数学的に真となるかどうかをチェックするには、isAlways(A == B) を使用します。

• 入力引数のいずれかがシンボリック型で、他の入力がそれと同じ値をもつ MATLAB^® の数値型である場合、入力のデータ型が異なるため、isequal は logical 0 (false) を返します。たとえば、tf = isequal(1,sym(1)) は 0 (false) を返します。

バージョン履歴

R2006a より前に導入

R2022a: シンボリック行列関数の等価性のチェック

関数 isequal は symfunmatrix 型の入力引数を受け入れます。

R2021a: シンボリック行列変数の等価性のチェック

関数 isequal は symmatrix 型の入力引数を受け入れます。

参考

in | isAlways | isequaln | isfinite | isinf | isnan | logical

トピック

• シンボリック方程式、シンボリック不等式、およびシンボリック条件ステートメントのチェック