groebner基计算时，含有a1，a2,a3,...,an个自变量的非线性方程组问题化简问题

lhrman

a1*a2+2*a1*a3+a2*a3=0
+ \2 C" q8 y2 i. Va1^2+a1*a2+a2^2+a2*a3+a3^2=1/4;
a1+a2+a3=1
: Y4 J; h  ?+ V, N) r8 Y9 {用with（Groebner）；
* ^& p6 C' v# N  Y' N' m( `然后输入
x := seq(a[k], k = 0 .. n)
2 g0 d- X/ m- i; S# g4 a: I- e% E Basis(pl1, plex(x));
$ ~/ q! Y/ U, V* ~8 G1 b%;
% h# W- ~6 k9 A6 jError, too many levels of recursion
Basis(pl1, prod(x));
  V1 M. n7 }- {& v" m8 H# \" `8 j%;
Error, too many levels of recursion
9 ^7 {/ _# j% _; c 然后显示错误求高手指点，我做的东西最好用a1,a2,...,an这样设置未知数我好编程                                                           
3 H5 J4 @8 r# ^+ S* I