On 11/26/10, Edwin Woollett <woollett at charter.net> wrote:
> (%i7) pauli_simp ( comm (sig2^^3,sig1^^5));
> (%o7) -6*%i*sig2
> -------------------------------
> That last output should have been -2*%i*sig3
> which is the correct value for the commutator
> [ sig2, sig1 ].
>
> So it looks like, again, the tellsimpafter method is
> having a problem.
I don't see a problem w/ tellsimpafter here ...
> tellsimpafter (comm (sig2,sig1), -2*%i*sig2)$
This result should be -2*%i*sig3, right?
After changing that rule, I get
pauli_simp (comm (sig2^^3, sig1^^5))
=> - 2 %i sig3
best,
Robert Dodier