>
|
|
| (1) |
For illustration purposes, first set and as prefixes to identify anticommutative variables and functions, and to identify noncommutative ones (see Setup for details).
>
|
|
| (2) |
Consider now the noncommutative product between anticommutative objects and related sums.
You can get the expanded form of this product using expand or Expand:
| (4) |
Note that in the expanded representation, all * products are distributed. The following is a more complicated example, involving anticommutative and noncommutative objects.
>
|
|
| (5) |
| (6) |
Now you can use the usual Maple commands to manipulate this expression. For example, note the existence of common factors entering the commutative products of this expression; you can take advantage of them to simplify it.
| (7) |
To additionally expand also the mathematical functions, use expand instead of Expand; compare for instance these two results:
| (8) |
| (9) |
| (10) |
Expansion of Brackets over sums happen automatically but for inert Brackets you can use Expand
>
|
|
| (11) |
>
|
|
| (13) |