MATHEMATICA 組込みシンボル

NonCommutativeMultiply

積の一般結合的形式であり，非可換形式である．

可換乗算を非可換乗算と比較する：

操作は結合的である：

可換乗算を非可換乗算と比較する：

Out[1]=

操作は結合的である：

Out[2]=

NonCommutativeMultiplyを使って微分演算子の代数における構成を表す：

が関数である基本ケースでは，単純に

を掛ける：

次の2つの特性は線形性を表している：

ここでは，演算子はDである. HoldPatternで導関数が二重ブランクに動作するのを止めている：

式に適用された演算子の構成：

式に適用された演算子のベキ乗：

LaxペアについてKdVの方程式を導くためにこれらの規則を適用する：

非可換的積を展開する関数を構築する．Plusについての分配性：

非可換的積内で可換的積を扱う：

それ以外のすべてに適用されたフォールバック操作：

NonCommutativeMultiplyには自動の簡約規則は存在しない：

ExpandおよびSimplifyはNonCommutativeMultiplyを持つ式には使えない：

引数が1つのNonCommutativeMultiplyは，Timesとは異なり，評価されないままである：