Wolfram mathematica Mathematica中的泛包络李代数Su（3）程序

从internet上的信息，特别是此链接：

这是一个“如何在数学中做李代数”的中间问题。 现在，我们的小型研讨会（项目）我们已经解决了Poincaré–Birkhoff–Witt定理的问题，并将其应用于微积分泛包络李代数sl（3）。我的老师让我们用

Mathematica

编写程序来计算su（3）的2个单项式的系数和成分。示例：

x^15*y^10*z^7和x^4*y^5*z^6的乘积
Reamark:x，y，z是泛包络代数su（3）的生成式，即：
李氏括号[x，z]=2x，[y，z]=-2y和[x，y]=z。

我只知道这对量子力学来说是一个非常重要的问题，实际上我们目前还没有理想的方法来解决这个问题。我觉得在数学中，一个不可交换的乘法函数是非常基本的。 希望你能建议或帮助我们