When the Physics package is loaded, a more general product operator, represented by the same symbol *, is loaded. Unlike the default Maple * operator (herein called the commutative product operator), the * operator loaded with Physics does not assume commutativity of its operands and instead automatically operates like a commutative, anticommutative, or noncommutative product, depending on the corresponding commutation properties of its operands.

Similarly, a generalized exponentiation operator, ^, is loaded, that takes into account possible assumptions equal to 0, 1 and -1 on a and b, and handles among other things matrices, the Physics Bra and Ket commands transforming integer powers into products, the Physics Inverse command (equivalent to b = -1), and returns using the standard :-`^` operator only when a and b are of type commutative, avoiding in this way what would otherwise be incorrect commutative products of noncommutative mathematical variables/expressions.

When computing with quantum-state vectors in Dirac notation, the Physics * operator also represents the tensor product of Bras and Kets, such as in $\&verbar;A>*<B\&verbar;$ (a quantum operator) or $\&verbar;A>*\&verbar;B>$ (a Ket of the tensor product of spaces).

To expand Physics[`*`] products over sums, use expand or Physics[Expand]; to represent their inverses, use Physics/Inverse. Additionally, the rules for differentiating these products with respect to commutative or anticommutative differentiation variables, as well as the function application of a product construction, $\left(a*b\right)\left(x\right)\to a\left(x\right)*b\left(x\right)$, are all implemented, completing the computational representation of this generalized product operation.

To set the identifiers for noncommutative and anticommutative variables in the context of the Physics package, see Setup. Also, when using the Standard graphical user interface, you can set the mathematical display so that commutative, anticommutative, and noncommutative objects are displayed in different colors, which can also be customized. To set the display to mathematical notation, enter the command Setup(mathematicalnotation = true). See Setup for details.

In order to make zero recognition possible in the not commutative case, basic simplifications, unnesting, and sorting of arguments of these products are automatically performed. So the output of $a$*$b$ will be equal to the output of $b$*$a$ when a and/or b are commutative objects, and it will be equal to the output of $-b$*$a$ when a and b are anticommutative objects. If a and b are noncommutative, then for both $a$*$b$ and $b$*$a$, the respective outputs are just the products as entered. The form automatically returned is $*$ itself, built as follows:

The sequence of operands of $*$ is split into two sequences: s1 and s2, containing the commutative and not commutative (anticommutative and noncommutative) operands, respectively.

The elements of s1 are sorted by using machine ordering (table(symmetric)), resulting in sorted_s1.

Each subsequence of anticommutative elements of s2 is sorted using machine ordering (table(antisymmetric)), resulting in sorted_s2.

Both sorted_s1 and sorted_s2 are normalized by using normal.

A result is built and returned as the normalized form of sorted_s1 times sorted_s2.

To simplify these products of noncommutative objects (such as quantum operators), taking into account that some of them may commute between themselves or satisfy commutation rules previously set, use the Physics/Simplify command.

In connection with applying a product to some arguments, as for instance in $\left(a*b\right)\left(x\right)\to \left(a\left(x\right)*b\left(x\right)\right)$, to have any of $a\left(x\right)$ or $b\left(x\right)$ returned just as $a$ or $b$, declare them first as parameters by using the Parameters command. To have only the quantum operators ($a$, $b$, or both) applied to $x$, use the `.` operator of the Physics package, as in$\left(a*b\right).x$.

After loading Physics, the original commutative product operator can still be invoked as the function :-$\mathrm{`*`}$, as in :-$ab$. However, note that it would be wrong to use :-$`*`\left(...\right)$ product constructions involving noncommutative or anticommutative operands.

Remark: to compute the scalar product between Bras, Kets, and quantum operators defined as such by using the Setup command or returned by the Annihilation and Creation commands, use the `.` operator in the Physics package, not the * generalized multiplication operator described in this page.

$\mathrm{with}\left(\mathrm{Physics}\right)\&colon;$

$\mathrm{Setup}\left(\mathrm{mathematicalnotation}=\mathrm{true}\right)$

$\left[\mathrm{mathematicalnotation}=\mathrm{true}\right]$

$\mathrm{Setup}\left(\mathrm{anticommutativeprefix}=\left\{Q\&comma;\mathrm{\theta }\right\}\&comma;\mathrm{noncommutativeprefix}=Z\right)$

$\left[\mathrm{anticommutativeprefix}=\left\{Q\&comma;\mathrm{\theta }\right\}\&comma;\mathrm{noncommutativeprefix}=\left\{Z\right\}\right]$

$'af\left(\mathrm{\theta }\right)b\mathrm{Q1}c\mathrm{Q3}\mathrm{Q2}'$

$af\left(\mathrm{\theta }\right)b\mathrm{Q1}c\mathrm{Q3}\mathrm{Q2}$

$-abcf\left(\mathrm{\theta }\right)\mathrm{Q1}\mathrm{Q2}\mathrm{Q3}$

$\mathrm{`\%*`}\left(a\&comma;f\left(\mathrm{\&theta;}\right)\&comma;b\&comma;\mathrm{Q1}\&comma;c\&comma;\mathrm{Q3}\&comma;\mathrm{Q2}\right)$

$a\ast f\left(\mathrm{\theta }\right)\ast b\ast \mathrm{Q1}\ast c\ast \mathrm{Q3}\ast \mathrm{Q2}$

$\mathrm{value}\left(\right)$

$-abcf\left(\mathrm{\theta }\right)\mathrm{Q1}\mathrm{Q2}\mathrm{Q3}$

$'ah\left(\mathrm{\theta }\right)b\mathrm{Q1}\mathrm{Z1}\mathrm{Q2}\mathrm{Q4}\mathrm{Z3}\mathrm{Q5}c\left(\mathrm{Q3}-\mathrm{Q6}\right)f\left(\mathrm{\theta }\right)'$

$ah\left(\mathrm{\theta }\right)b\mathrm{Q1}\mathrm{Z1}\mathrm{Q2}\mathrm{Q4}\mathrm{Z3}\mathrm{Q5}c\left(\mathrm{Q3}-\mathrm{Q6}\right)f\left(\mathrm{\theta }\right)$

$abcf\left(\mathrm{\theta }\right)h\left(\mathrm{\theta }\right)\mathrm{Q1}\mathrm{Q2}\mathrm{Q4}\mathrm{Q5}\left(\mathrm{Q3}-\mathrm{Q6}\right)\mathrm{Z1}\mathrm{Z3}$

$\mathrm{zz}≔\mathrm{Commutator}\left(\mathrm{Z1}\&comma;\mathrm{Z2}\right)$

$\mathrm{zz}≔{\left[\mathrm{Z1},\mathrm{Z2}\right]}_{-}$

$\mathrm{expand}\left(\mathrm{zz}\right)$

$\mathrm{Z1}\mathrm{Z2}-\mathrm{Z2}\mathrm{Z1}$

$\left(x\right)$

$\mathrm{Z1}\left(x\right)\mathrm{Z2}\left(x\right)-\mathrm{Z2}\left(x\right)\mathrm{Z1}\left(x\right)$

$\mathrm{zz}\left(x\right)$

${\left[\mathrm{Z1}\left(x\right),\mathrm{Z2}\left(x\right)\right]}_{-}$

$\mathrm{Parameters}\left(\mathrm{Z1}\right)$

$\left\{\mathrm{Z1}\right\}$

$\mathrm{zz}\left(x\right)$

${\left[\mathrm{Z1},\mathrm{Z2}\left(x\right)\right]}_{-}$

$\mathrm{expand}\left(\mathrm{zz}\right)$

$\mathrm{Z1}\mathrm{Z2}-\mathrm{Z2}\mathrm{Z1}$

$\left(x\right)$

$\mathrm{Z1}\mathrm{Z2}\left(x\right)-\mathrm{Z2}\left(x\right)\mathrm{Z1}$

$\mathrm{Setup}\left(\mathrm{mop}=\left\{A\&comma;B\right\}\&comma;\mathrm{\%Commutator}\left(A\&comma;B\right)=0\right)$

$\mathrm{*\; Partial\; match\; of\; \text{'}}\mathrm{mop}\mathrm{\text{'}\; against\; keyword\; \text{'}}\mathrm{quantumoperators}\text{'}$

$\mathrm{\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_\_}$

$\left[\mathrm{algebrarules}=\left\{{\left[A,B\right]}_{-}=0\right\}\&comma;\mathrm{quantumoperators}=\left\{A\&comma;B\right\}\right]$

$AB$

$AB$

$BA$

$AB$

$\mathrm{Simplify}\left(\&comma;\mathrm{algebrarules}\right)$

$AB$