Question: Follow-Up to symbolic manipulation mod 2

Consider the following:

 

with(Physics);

 

Setup(noncommutativeprefix = z);

 

(z1*z2)*z1;

 

gives z1 z2 z1 as it should but

 

z1*z2*z1*z1;

 

gives z1^3 z2. Thus noncommutativity has not been respected?

 

What can I do?

Please Wait...