[Dmug] Kommutatoranwendung unter NonCommutativeMultiply vs. TensorProduct

[Susanne & Udo Krause via demug <demug@XXXXXXX.ch>]

Liebe Freundinnen und Freunde der Kommutatoranwendung,


In[124]:=  z ** z ** w /. a___ ** z_ ** w_ ** b___ -> a ** (w ** z - I) ** b
Out[124]= (-I + z ** z) ** w

Das ist m.E. falsch, man erwartet z ** (-I+ w ** z)

Wählt man als Operation das TensorProduct, dann sieht Mathematica das 
ebenso:


In[125]:=
z\[TensorProduct]z\[TensorProduct]w /.
 a___\[TensorProduct]z\[TensorProduct]w\[TensorProduct]b___ ->
  a\[TensorProduct](w\[TensorProduct]z - I)\[TensorProduct]b

Out[125]= z\[TensorProduct](-I + w\[TensorProduct]z)

In[126]:= $Version
Out[126]= "14.3.0 for Microsoft Windows (64-bit) (July 8, 2025)"


Mit den besten Grüssen

Udo.


P.S.: Was bedeutet dieser Ausdruck?


In[127]:= z ** z ** w /. a___ ** z_ ** w_ -> a ** (w ** z - I)
Out[127]= NonCommutativeMultiply[-I + z ** w ** z]

_______________________________________________
DMUG Deutschsprachiges Mathematica-Forum demug@XXXXXXX.ch
http://www.mathematica.ch/mailman/listinfo/demug
Archiv: http://www.mathematica.ch/archiv.html