4.9 NCGuts

This section details the command NCGuts, which expands the meaning of “**”, tp[], and inv[].

4.9.1 NCStrongProduct1

Aliases: None.
Description: NCStrongProduct1 is an option of NCGuts. When True, ** serves to multiply matrices as well as maintaining its original function with noncommutative entries. This replaces the command MatMult. For example,
MatMult[{{a,  b},{c, d}},{{x}, {y}}]
is the same as
{{a,b}, {c,d}} * *{{x}, {y}}.
In addition, tp and tpMat are the same. NCStrongProduct1 False is the default.
Arguments: None.
Comments / Limitations: None.

4.9.2 NCStrongProduct2

Aliases: None.
Description: NCStrongProduct2 is an option of NCGuts. When set to true, if m is a matrix with noncommutative entries, inv[m] returns a formula expression for the inverse of m. The considerable limitations of NCInverse are still limitations in inv[m]. NCStrongProduct2 forces NCStrongProduct1. In other words, NCGuts[NCStrongProduct2-¿True] makes ”**” multiply matrices with noncommutative entries, just as NCGuts[NCStrongProduct1-¿True] does. NCStrongProduct2 False is the default.
Arguments: None.
Comments / Limitations: None.

4.9.3 NCSetNC

Aliases: None.
Description: NCSetNC is an option of NCGuts. When set to false, all letters are automatically noncommutative unless SetCommutative makes them commutative. NCSetNC False is the default.
Arguments: None.
Comments / Limitations: None.