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,
is the same as
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.