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

lhrman

a1*a2+2*a1*a3+a2*a3=0
/ Z$ q# ?6 D5 L0 d! ca1^2+a1*a2+a2^2+a2*a3+a3^2=1/4;
a1+a2+a3=1
6 }8 V- p' V. L: |. K用with（Groebner）；
然后输入
x := seq(a[k], k = 0 .. n)
$ r. }3 b+ V5 E Basis(pl1, plex(x));
%;
1 y9 s( e# w' o; X% @$ F1 QError, too many levels of recursion
) ?/ d6 a4 R5 }1 |Basis(pl1, prod(x));
%;
Error, too many levels of recursion
" T0 J0 z: k+ u 然后显示错误求高手指点，我做的东西最好用a1,a2,...,an这样设置未知数我好编程                                                           
$ g2 F3 }" r+ [# [; {* f' T