X=(x_ij)をn^2の変数からなる行列として
f(x,x_ij)=|xE-AX|-|xE-XA|
というn^2+1変数の多項式を考える
の方が好き