我有一个由七个非线性方程组成的系统，我想找到它们的符号解。解决方案将取决于参数 K，我应该通过改变参数来获得不同的解决方案。我希望程序给出 K 的范围以及与每个值相关的解决方案。我尝试使用 matlab 符号工具包解决系统问题。我使用的代码是：

syms K x  y  z  u  v  w  p; 

eq1 =  -2*x - 4*u*v + 4*y*p == 0;

eq2 =  -9*y +3*x*p == 0;

eq3 =  -4*z - 4*sqrt(2)*u*w + 4*sqrt(2)*w*p  + 4*K == 0;

eq4 =  -5*u + x*v + 3*sqrt(2)*z*w == 0;

eq5 =  -v + 3*x*u - sqrt(5)*x*w == 0;

eq6 =  -w + sqrt(5)*x*v + sqrt(2)*z*u - sqrt(2)*z*p == 0;

eq7 =  -5*p - 7*x*y - 3*sqrt(2)*z*w == 0;

[x y z u v w p] = solve(eq1, eq2, eq3, eq4,eq5, eq6, eq7)

我使用 matlab R2015b 运行代码，运行大约 6 个小时后，它要么给出一个空的解决方案，要么停止工作。有什么建议吗？