自由群の計算ってものすごく簡単ですよね。

X*x^(-n)*x^n*Y とか
X*x^n*x^(-n)*Y とか



X*Y

にするだけですよね。