level 1
snpa66
楼主
我用 "Setup(noncommutativeprefix={x,y})" 定义了两个非交换的变量，
随后定义了两个关系： Setup(algebrarules={%AntiCommutator(x,x)=0, %AntiCommutator(y,y)=0}).
算 AntiCommutator(x,y) 的时候maple认为 x 和 y 是两个Grassmann 变量，所以结果是0.
但是考虑下面两个3*3矩阵 e23 和e32, AntiCommutator (e23, e23)=e22+e33 不等于0
这个矛盾是怎么回事？？？algebrarules应该怎么用？
2021年08月20日 08点08分
1
随后定义了两个关系： Setup(algebrarules={%AntiCommutator(x,x)=0, %AntiCommutator(y,y)=0}).
算 AntiCommutator(x,y) 的时候maple认为 x 和 y 是两个Grassmann 变量，所以结果是0.
但是考虑下面两个3*3矩阵 e23 和e32, AntiCommutator (e23, e23)=e22+e33 不等于0
这个矛盾是怎么回事？？？algebrarules应该怎么用？