Set some quantum operators for developing examples
>
|
|
| (1) |
First example, because of using mathematical notation, noncommutative variables are displayed in different color (olive)
>
|
|
| (2) |
A more involved example from a physics problem, illustrating that the factorization is also happening within function's arguments, as well as that we can also correctly expand mathematical expressions involving noncommutative variables
>
|
|
| |
| |
| |
| (4) |
>
|
|
| (5) |
First expand to construct the problem
| (6) |
Now retrieve the original expression
| (7) |
This following one looks simpler but it is actually more complicated:
First expand
The complication consists of the fact that the standard factor command, which assumes products are commutative, can never deal with an expression like because if products were commutative the sum of these terms is equal to 0. Through algebraic manipulations, however, the expression is also factorable
This other one is yet more complicated:
When you expand,
| (12) |
there are various terms involving the same noncommutative operands, just multiplied in different order. Generally speaking the limitation of this approach (in Maple 2016) consists of: there cannot be more than 2 terms in the expanded form containing the same operands. For instance in the expression above the 1st and 4th terms have the same operands, that are actually also present in the 5th term but there you also have and for that reason (involving some additional manipulations) it can still be factorized:
Here is an example where the approach implemented does not work (in Maple 2016) because of the limitation mentioned in the previous paragraph:
>
|
|
| (15) |
In this expression, the 1st, 2nd, 4th and 5th terms have the same operands and then there are four terms containing the operands . This type of expression is actually also factorable - work in progress.