The Inverse command, when applied to an object, represents the object's (noncommutative) multiplicative inverse; that is, Inverse(Z) * Z = Z * Inverse(Z) = 1, where * herein represents the Physics[*] product, whose commutativity depends on the operands (see also type, commutative).

The %Inverse command is the inert form of Inverse; that is, it represents the same mathematical operation while displaying the operation unevaluated. To evaluate the operation, use the value command.

The results returned by Inverse are constructed as follows:

- If  is of commutative type, then return .

- If  is a matrix, then return its inverse.

- If  is equal to Inverse(g) for some , then return .

- If  is a noncommutative product, then distribute:.

- If  is a * (commutative) product, then distribute:.

- Otherwise, return the unevaluated expression .

All noncommutative products introduced by Inverse have their operands sorted and normalized automatically by the Physics[*] operator. This ensures that the basic simplifications and identities for these products are taken into account in the returned results.

A `print/Inverse` procedure makes the display of this function appear as a power, as in

Inverse(Q);