решения для неподвижных точек для дробно-линейных преобразо

[PSP]

В Марле попытался найти решения для неподвижных точек для дробно-линейных преобразований :

restart; solve({(a[1]*x+b[1]*y+c[1])=x*(a*x+b*y+c),(a[2]*x+b[2]*y+c[2])=y*(a*x+b*y+c)},{x,y});

Получил результат :

{y = RootOf((b^2*a[2]+a[1]*b*a-a*b[2]*b-b[1]*a^2)*_Z^3+(a[1]*c*a-b*b[2]*a[2]-a[1]*b*a[2]-a*c[2]*b-c[1]*a^2-a*b[2]*c+2*b*c*a[2]-a[1]*b[2]*a+a*b[2]^2+2*b[1]*a[2]*a)*_Z^2+(a[1]*b[2]*a[2]-a[1]*c*a[2]-a[1]*c[2]*a-b[1]*a[2]^2-c*b[2]*a[2]+2*a*b[2]*c[2]-b*c[2]*a[2]+2*c[1]*a[2]*a-a*c[2]*c+c^2*a[2])*_Z-c*c[2]*a[2]-c[1]*a[2]^2+a*c[2]^2+a[1]*c[2]*a[2]), x = -(-b[2]*RootOf((b^2*a[2]+a[1]*b*a-a*b[2]*b-b[1]*a^2)*_Z^3+(a[1]*c*a-b*b[2]*a[2]-a[1]*b*a[2]-a*c[2]*b-c[1]*a^2-a*b[2]*c+2*b*c*a[2]-a[1]*b[2]*a+a*b[2]^2+2*b[1]*a[2]*a)*_Z^2+(a[1]*b[2]*a[2]-a[1]*c*a[2]-a[1]*c[2]*a-b[1]*a[2]^2-c*b[2]*a[2]+2*a*b[2]*c[2]-b*c[2]*a[2]+2*c[1]*a[2]*a-a*c[2]*c+c^2*a[2])*_Z-c*c[2]*a[2]-c[1]*a[2]^2+a*c[2]^2+a[1]*c[2]*a[2])-c[2]+b*RootOf((b^2*a[2]+a[1]*b*a-a*b[2]*b-b[1]*a^2)*_Z^3+(a[1]*c*a-b*b[2]*a[2]-a[1]*b*a[2]-a*c[2]*b-c[1]*a^2-a*b[2]*c+2*b*c*a[2]-a[1]*b[2]*a+a*b[2]^2+2*b[1]*a[2]*a)*_Z^2+(a[1]*b[2]*a[2]-a[1]*c*a[2]-a[1]*c[2]*a-b[1]*a[2]^2-c*b[2]*a[2]+2*a*b[2]*c[2]-b*c[2]*a[2]+2*c[1]*a[2]*a-a*c[2]*c+c^2*a[2])*_Z-c*c[2]*a[2]-c[1]*a[2]^2+a*c[2]^2+a[1]*c[2]*a[2])^2+RootOf((b^2*a[2]+a[1]*b*a-a*b[2]*b-b[1]*a^2)*_Z^3+(a[1]*c*a-b*b[2]*a[2]-a[1]*b*a[2]-a*c[2]*b-c[1]*a^2-a*b[2]*c+2*b*c*a[2]-a[1]*b[2]*a+a*b[2]^2+2*b[1]*a[2]*a)*_Z^2+(a[1]*b[2]*a[2]-a[1]*c*a[2]-a[1]*c[2]*a-b[1]*a[2]^2-c*b[2]*a[2]+2*a*b[2]*c[2]-b*c[2]*a[2]+2*c[1]*a[2]*a-a*c[2]*c+c^2*a[2])*_Z-c*c[2]*a[2]-c[1]*a[2]^2+a*c[2]^2+a[1]*c[2]*a[2])*c)/(-a[2]+RootOf((b^2*a[2]+a[1]*b*a-a*b[2]*b-b[1]*a^2)*_Z^3+(a[1]*c*a-b*b[2]*a[2]-a[1]*b*a[2]-a*c[2]*b-c[1]*a^2-a*b[2]*c+2*b*c*a[2]-a[1]*b[2]*a+a*b[2]^2+2*b[1]*a[2]*a)*_Z^2+(a[1]*b[2]*a[2]-a[1]*c*a[2]-a[1]*c[2]*a-b[1]*a[2]^2-c*b[2]*a[2]+2*a*b[2]*c[2]-b*c[2]*a[2]+2*c[1]*a[2]*a-a*c[2]*c+c^2*a[2])*_Z-c*c[2]*a[2]-c[1]*a[2]^2+a*c[2]^2+a[1]*c[2]*a[2])*a)}

Может,кто проверит ?