DeclareNonCommutative[a, b, ...]
declares
a,b, ...
to be non-commutative, i.e.,
DataType[a,b, ..., NonCommutative]
is set to
True
.
Overview, DataType, UnDeclareNonCommutative.
As a side effect of DeclareNonCommutative
,
x
is declared to be of data type
NonCommutative
.
[x] DeclareNonCommutative
[x, NonCommutative] DataType
\text{True}
[y, z]
DeclareNonCommutative
[a, x, y, z, NonCommutative] DataType
\{\text{False},\text{True},\text{True},\text{True}\}
[x, y, z]
UnDeclareNonCommutative
[a, x, y, z, NonCommutative] DataType
\{\text{False},\text{False},\text{False},\text{False}\}