18棵树18行方程2:
solve([+1-1*Q_X*R_Y,+1*F_Y+1*H_Y*Q_X+1*M_X*Q_Y-1*N_X*Q_Y-1*R_Y+1*N_X*R_Y-2*Q_X*R_Y,+1*G_X-1*H_Y*Q_X-1*M_X*Q_Y+1*N_X*Q_Y-1*F_Y*R_X+3*R_Y-2*G_X*R_Y-1*N_X*R_Y+2*Q_X*R_Y-1*R_X*R_Y,+1*F_Y*G_X-1*F_Y*R_X-1*G_X*R_Y,+1*H_Y-1*H_Y*Q_X-1*M_X*Q_Y+1*N_X*Q_Y-1*R_Y+1*Q_X*R_Y,+1*G_X*H_Y+1*N_X*P_Y-1*H_Y*Q_X-1*M_X*Q_Y+1*N_X*Q_Y-1*F_Y*R_X-1*R_Y-1*G_X*R_Y+2*Q_X*R_Y,+1*I_X-1*I_X*P_Y-1*H_Y*Q_X-1*M_X*Q_Y+1*N_X*Q_Y+1*R_Y-1*N_X*R_Y+1*Q_X*R_Y,+1*F_Y*I_X-1*I_X*P_Y-1*H_Y*Q_X-1*M_X*Q_Y+1*N_X*Q_Y+1*R_Y+1*I_X*R_Y-1*N_X*R_Y+1*Q_X*R_Y-1*R_X*R_Y,+1*I_Y+1*H_Y*Q_X+1*M_X*Q_Y-1*N_X*Q_Y-1*R_Y-1*I_X*R_Y+1*N_X*R_Y-2*Q_X*R_Y+1*R_X*R_Y,+1*F_Y*M_X-1*M_X*P_Y+1*H_Y*Q_X+1*M_X*Q_Y-1*N_X*Q_Y+1*N_X*R_Y-2*Q_X*R_Y,+1*I_Y*M_X-1*I_X*R_Y,+1*N_X-1*N_X*P_Y+1*R_Y-1*N_X*R_Y,+1*F_Y*N_X-1*N_X*P_Y+1*H_Y*Q_X+1*M_X*Q_Y-1*N_X*Q_Y+1*R_Y-2*Q_X*R_Y,+1*I_Y*N_X-1*I_X*P_Y-1*H_Y*Q_X-1*M_X*Q_Y+1*N_X*Q_Y+1*R_Y-1*N_X*R_Y+1*Q_X*R_Y,+1*P_Y+1*R_Y-1*R_X*R_Y,+1*G_X*P_Y-1*H_Y*Q_X-1*M_X*Q_Y+1*N_X*Q_Y-1*F_Y*R_X+2*R_Y-1*G_X*R_Y-1*N_X*R_Y+3*Q_X*R_Y-1*R_X*R_Y,+1*Q_X-1*P_Y*Q_X+1*M_X*Q_Y+1*R_Y-2*Q_X*R_Y,+1*F_Y*Q_X+1*H_Y*Q_X-1*P_Y*Q_X+2*M_X*Q_Y-1*N_X*Q_Y-1*R_Y+1*N_X*R_Y-4*Q_X*R_Y+1*R_X*R_Y,+1*Q_Y-1*M_X*Q_Y-1*R_Y+1*Q_X*R_Y,+1*R_X-1*P_Y*R_X+1*R_Y-1*Q_X*R_Y,+1*D_Y+1*F_Y-1*P_Y,+1+1*K_Y-1*P_Y-1*R_Y,+1*H_X-1*N_X,-1+1*C_Y,-1+1*P_X,-1+1*C_X,+1*N_Y-1*R_Y,+1*M_Y-1*R_Y,+1*B_X-1*N_X,-1+1*B_Y],);
方程3:
solve([+1+1*A_Y*O_X+1/2*R_Y-1/2*M_X*R_Y,+1*A_Y-1*A_Y*N_X+1*N_X*R_Y,+1*A_Y*I_X-1*A_Y*O_X-1/2*R_Y+1/2*M_X*R_Y,+1*A_Y*M_X-1*A_Y*N_X-1/2*R_Y-1/2*M_X*R_Y+1*N_X*R_Y,+1*N_X+1*A_Y*O_X-1/2*N_X*Q_Y+1/2*R_Y-1/2*M_X*R_Y+3/2*N_X*R_Y,+1*N_Y-1*N_X*R_Y,+1*P_Y-2*R_Y+1*M_X*R_Y-1*P_Y*R_Y+3/2*Q_Y*R_Y+1/2*R_Y*R_Y,+1*A_Y*P_Y+1/2*A_Y*Q_Y+2*R_Y-1/2*A_Y*R_Y-1*M_X*R_Y+1*P_Y*R_Y-3/2*Q_Y*R_Y-1/2*R_Y*R_Y,+1*I_X*P_Y+1/2*M_X*Q_Y-3/2*R_Y+1*I_X*R_Y+1*M_X*R_Y-1*P_Y*R_Y+3/2*Q_Y*R_Y+1/2*R_Y*R_Y,+1*N_X*P_Y-1/2*N_X*Q_Y-1/2*R_Y+1/2*M_X*R_Y-1/2*N_X*R_Y,+1*O_X*P_Y+2*R_Y-2*M_X*R_Y+1*O_X*R_Y+2*P_Y*R_Y-1*Q_Y*R_Y-1*R_Y*R_Y,+1*P_Y*P_Y-1*R_Y+1*M_X*R_Y-1/2*P_Y*R_Y+1/2*Q_Y*R_Y,+1*Q_Y-1*M_X*R_Y,+1*I_X*Q_Y+1*M_X*Q_Y+1*I_X*R_Y-1*M_X*R_Y,+1*O_X*Q_Y+3*R_Y-3*M_X*R_Y+1*O_X*R_Y+4*P_Y*R_Y-2*Q_Y*R_Y-2*R_Y*R_Y,+1*P_Y*Q_Y-2*R_Y+2*M_X*R_Y-2*P_Y*R_Y+2*Q_Y*R_Y+1*R_Y*R_Y,+1*Q_Y*Q_Y-2*P_Y*R_Y+1*R_Y*R_Y,-1+1*P_X+1*P_Y+1/2*Q_Y-1/2*R_Y,+1*O_Y-1/2*Q_Y+1/2*R_Y,+1*K_Y-1*P_Y+1/2*Q_Y-1/2*R_Y,-1+1*J_X+1*P_Y+1/2*Q_Y-1/2*R_Y,+1*C_Y-1*P_Y-1/2*Q_Y+1/2*R_Y,-1+1*R_X,-1+1*F_X,+1*F_Y-1/2*Q_Y+1/2*R_Y,-1+1*C_X+1*P_Y+1/2*Q_Y-1/2*R_Y,+1*M_Y-1*Q_Y,+1*J_Y-1*Q_Y,+1*E_Y-1/2*Q_Y+1/2*R_Y,-1+1*Q_X+1*Q_Y],);
方程5:
solve([+1-1*P_Y*Q_X-2*P_Y*Q_Y+2*Q_Y*Q_Y+1*R_Y-1*P_Y*R_Y+1*Q_Y*R_Y,+1*J_X-1*P_Y*Q_X-2*P_Y*Q_Y+2*Q_Y*Q_Y+1*J_X*R_Y,+1*J_Y-1*J_X*Q_Y+1*R_Y-1*J_X*R_Y-1*P_Y*R_Y+1*Q_Y*R_Y,+1*N_X-2*P_Y*Q_X-3*P_Y*Q_Y+3*Q_Y*Q_Y+2*R_Y+1*N_X*R_Y-2*P_Y*R_Y+2*Q_Y*R_Y,+1*N_Y-1*N_X*Q_Y-1*N_X*R_Y,+1*O_X-1*O_X*Q_Y+1*R_Y-1*P_Y*R_Y+1*Q_Y*R_Y,+1*J_Y*O_X-1*P_Y*Q_X-2*P_Y*Q_Y+2*Q_Y*Q_Y+1*J_X*R_Y,+1*P_X-1*P_X*R_Y+1*Q_X*R_Y,+1*P_Y-1*P_Y*Q_X-1*P_Y*Q_Y+1*Q_Y*Q_Y,+1*J_X*P_Y-1*J_X*Q_Y+1*R_Y-1*J_X*R_Y-1*P_Y*R_Y+1*Q_Y*R_Y,+1*J_Y*P_Y-1*P_Y*Q_X+1*J_X*Q_Y-1*J_Y*Q_Y-1*P_Y*Q_Y+1*Q_Y*Q_Y-1*R_Y+1*J_X*R_Y+1*P_Y*R_Y-1*Q_Y*R_Y,+1*N_X*P_Y+1*N_Y*P_Y-2*P_Y*Q_X-1*N_X*Q_Y-1*N_Y*Q_Y-2*P_Y*Q_Y+2*Q_Y*Q_Y+2*R_Y-2*P_Y*R_Y+2*Q_Y*R_Y,+1*O_X*P_Y-1*O_X*Q_Y+1*R_Y-1*P_Y*R_Y-1*Q_X*R_Y+1*Q_Y*R_Y,+1*Q_X-1*P_Y*Q_X-1*P_Y*Q_Y+1*Q_Y*Q_Y+1*Q_X*R_Y,+1*N_Y*Q_X+1*P_Y*Q_X-1*N_X*Q_Y+2*P_Y*Q_Y-2*Q_Y*Q_Y-1*R_Y-1*N_X*R_Y+1*P_Y*R_Y-1*Q_Y*R_Y,+1*Q_Y-1*R_Y+1*P_Y*R_Y-1*Q_Y*R_Y,+1*P_X*Q_Y+1*P_Y*Q_Y-1*Q_Y*Q_Y-1*R_Y-1*P_X*R_Y+1*P_Y*R_Y+1*Q_X*R_Y-1*Q_Y*R_Y,+1*Q_X*Q_Y-1*R_Y+1*P_Y*R_Y+1*Q_X*R_Y-1*Q_Y*R_Y,-1+1*M_X+1*P_Y-1*Q_Y,+1*K_Y-1*Q_Y-1*R_Y,-1+1*C_Y+1*Q_Y,+1*I_X-1*Q_X,-1+1*F_X,-1+1*R_X,+1+1*B_Y-1*Q_Y,-1+1*O_Y,+1*F_Y-1*P_Y,+1*M_Y-1*P_Y,+1*D_X-1*Q_X,-1+1*D_Y],);
方程8:
solve([+1+1*Q_Y+1*Q_Y*Q_Y-3*Q_X*R_X-3*Q_Y*R_X-3*R_Y-3*O_Y*R_Y,+1*O_Y+1/2*Q_Y+1/2*O_Y*Q_Y-1/2*Q_Y*Q_Y,+1*O_Y*O_Y-3/2*Q_Y-1/2*O_Y*Q_Y-1/2*Q_Y*Q_Y+3*Q_X*R_X+3*Q_Y*R_X+3*R_Y+3*O_Y*R_Y,+1*P_X-1*O_Y*P_X-1*P_Y*Q_X+1/2*Q_Y-1/2*O_Y*Q_Y+1/2*Q_Y*Q_Y-1*Q_X*R_X-1*Q_Y*R_X-1*R_Y-1*O_Y*R_Y,+1*P_Y+1*P_Y*Q_X+1/2*Q_Y+1/2*O_Y*Q_Y+1/2*Q_Y*Q_Y-2*Q_X*R_X-2*Q_Y*R_X-2*R_Y-2*O_Y*R_Y,+1*O_Y*P_Y+2*P_Y*Q_X+1*P_Y*Q_Y-1*Q_X*R_X-1*Q_Y*R_X-1*R_Y-1*O_Y*R_Y,+1*Q_X+3/2*Q_Y+1/2*O_Y*Q_Y+1/2*Q_Y*Q_Y-2*Q_X*R_X-2*Q_Y*R_X-2*R_Y-2*O_Y*R_Y,+1*O_Y*Q_X-1/2*Q_Y+1/2*O_Y*Q_Y-1/2*Q_Y*Q_Y+1*Q_X*R_X+1*Q_Y*R_X+1*R_Y+1*O_Y*R_Y,+1*P_X*Q_X-1*P_Y*Q_X+1*P_X*Q_Y,+1*Q_X*Q_X+1/2*Q_Y+1/2*O_Y*Q_Y-1/2*Q_Y*Q_Y+1*Q_X*R_X+1*Q_Y*R_X+1*R_Y+1*O_Y*R_Y,+1*Q_X*Q_Y+1*Q_Y*Q_Y-2*Q_X*R_X-2*Q_Y*R_X-2*R_Y-2*O_Y*R_Y,+1*I_Y-1*O_Y,-1+1*J_X+1*Q_X+1*Q_Y,-1+1*A_X-1*O_Y,+1+1*H_X+1*O_Y-2*Q_X-1*Q_Y,+1*M_Y-1*Q_X-1*Q_Y,-1+1*L_Y-1*O_Y+1*Q_X,+1*J_Y-1*Q_X-1*Q_Y,-1+1*O_X,+1+1*G_Y,+1*M_X-1*Q_X,+1*L_X-1*Q_X,-1+1*C_X,+1*B_Y-1*Q_X-1*Q_Y,-1+1*H_Y-1*O_Y+1*Q_X,-1+1*C_Y-1*O_Y+1*Q_X],);
我把没有实数解的情况去掉了。
放在那边主题的附件里，请老大过目
方程1,2,3,5,8的解依次为:
(1)RootOf(_Z^2+1-_Z) = a, RootOf(_Z^2+(2*a-1)*_Z-a) = b
{A_X = a+b+1-b*a, D_Y = -b+b*a, H_Y = -2+a+b*a, J_Y = -a-b+b*a, L_Y = b*a, P_Y = b*a-1+a, Q_X = b, Q_Y = a, J_X = a+b-b*a, K_Y = b*a-1-b, L_X = 1-b*a, O_X = b+a, P_X = -b*a+1+b, C_X = -b*a+1+b, C_Y = 1, K_X = -b*a+1+b, D_X = a+b-b*a, B_Y = b*a-1+a, R_Y = -1, E_X = a+b-b*a, A_Y = b*a-1+a, E_Y = 1}
(2)RootOf(_Z^2+_Z+1) = a
{F_Y = -(1/2)*a+1/2, G_X = a+2, H_Y = -a, I_X = 1/3+(2/3)*a, I_Y = -(1/3)*a+1/3, M_X = 1/2+(1/2)*a, N_X = a, P_Y = 1/2+(1/2)*a, Q_X = 2+2*a, Q_Y = -a-1, R_X = a+1, R_Y = -(1/2)*a, D_Y = a, K_Y = -1/2, H_X = a, C_Y = 1, P_X = 1, C_X = 1, N_Y = -(1/2)*a, M_Y = -(1/2)*a, B_X = a, B_Y = 1}
(3)RootOf(3*_Z^2+1) = a
{, }
(5)RootOf(1+_Z+_Z^3) = a
{J_X = 4/9+(2/9)*a-(1/9)*a^2, J_Y = (1/3)*a+2/3+(1/3)*a^2, N_X = -a+2+a^2, N_Y = a-a^2, O_X = 1/3-(1/3)*a-(1/3)*a^2, P_X = -1/3+(1/3)*a-(2/3)*a^2, P_Y = a^2+2, Q_X = -(1/3)*a+4/3+(2/3)*a^2, Q_Y = a, R_Y = a+1, M_X = -1-a^2+a, K_Y = 2*a+1, C_Y = 1-a, I_X = -(1/3)*a+4/3+(2/3)*a^2, F_X = 1, R_X = 1, B_Y = -1+a, O_Y = 1, F_Y = a^2+2, M_Y = a^2+2, D_X = -(1/3)*a+4/3+(2/3)*a^2, D_Y = 1}
(8)RootOf(_Z^2+1-_Z) = a, RootOf(_Z^2+_Z+1) = b
{, }