AllSameBy

14.1の新機能

✖

AllSameBy[{e₁,e₂,…},f]

すべての f[e_i]が同じかどうかをチェックする．

✖

AllSameBy[f]

式に適用可能なAllSameByの演算子形を表す．

詳細

AllSameByは，結果が前のものと異なるまで，最初の要素から最後の要素まで連続的に f を適用する．つまり，可能な限り短絡化する．
{e_n}の長さが0または1の場合は f を適用せずに自動的にTrueが返される．

例題

すべて開くすべて閉じる

例 (1)基本的な使用例

すべての数の偶奇性が同じかどうかを調べる：

In[1]:=1

✖

https://wolfram.com/xid/0pu05h5knh-gycgce

Out[1]=1

スコープ (1)標準的な使用例のスコープの概要

すべての数の大きさが同じかどうかを調べる：

In[1]:=1

✖

https://wolfram.com/xid/0pu05h5knh-b5e3o2

Out[1]=1

アプリケーション (1)この関数で解くことのできる問題の例

すべての数が素数かあるいは合成数かどうかを調べる：

In[1]:=1

✖

https://wolfram.com/xid/0pu05h5knh-cpqd73

Out[1]=1

特性と関係 (1)この関数の特性および他の関数との関係

AllSameByは，f をすべての要素に適用してその結果がすべて等しいかどうかをチェックすることで実装される：

In[1]:=1

✖

https://wolfram.com/xid/0pu05h5knh-g9nj4h

Out[1]=1

In[2]:=2

✖

https://wolfram.com/xid/0pu05h5knh-kp9kbc

Out[2]=2

副作用があると差がはっきりする．

f[e_n]にバリエーションが見付かると，AllSameByは評価を中止する：

In[3]:=3

✖

https://wolfram.com/xid/0pu05h5knh-nictxo

Out[3]=3

これに対し，MapはSameQのチェックの前にすべての要素を評価する：

In[4]:=4

✖

https://wolfram.com/xid/0pu05h5knh-le3p2w

Out[4]=4

トップへ