最大值：从方程式中消除变量

问题描述

在 K 变量中给出 N 个方程， Maxima可以在 K-J 变量中生成 N-J 方程吗？

SOLVE和ELIMINATE似乎无法用纸和笔触及。

解决方法

(%i1) elim ([a = x + y,b = y + z,c = z + x,a = b * c],[a,b,c]);
(%o1)     elim([a = y + x,b = z + y,a = b c],c])
(%i2) load (to_poly);
(%o2)  ~/maxima-5.44.0/share/to_poly_solve/to_poly.lisp
(%i3) elim ([a = x + y,c]);
         2
(%o3) [[z  + (y + x) z + (x - 1) y - x],[b z - y + b x - x,z + x - c,y + x - a]]
(%i4) solve (first (%o3),x);
                                     2
                                    z  + y z - y
(%o4)                        [x = - ------------]
                                     z + y - 1