Expand NonCommutativeMultiply with respect to Plus:

Expand out multiplication mult with respect to addition add:

Compute the standard representation, reduced modulo algebra relations:

Specify that the variable c commutes with all algebra elements:

Specify that variables s and t represent scalars:

Expand GeneralizedPower of a sum:

Square matrices with Dot product form an algebra:

Linear endomorphisms with Composition form an algebra:

Expand polynomials over an abstract algebra with symbolic property names:

Scalar arguments to algebra operations are interpreted as scalar multiples of the multiplicative unity:

Compute the standard representation of an element of an algebra with relations:

NonCommutativeExpand threads over lists in the first argument:

Check whether two non-commutative polynomials are equal:

Expand the difference of the polynomials:

Compute the standard representation of an algebra element:

NonCommutativeExpand expands out the algebra multiplication with respect to the algebra addition:

Expand expands out Times with respect to Plus:

ArrayExpand expands out array operations:

NonCommutativeExpand works over a free algebra, without recognizing any relations between variables:

ArrayExpand recognizes the relations between a matrix and its inverse: