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

lhrman

a1*a2+2*a1*a3+a2*a3=0
  m4 Q7 B6 R3 h5 {! ea1^2+a1*a2+a2^2+a2*a3+a3^2=1/4;
# V$ E# U! l: Ua1+a2+a3=1
% ^0 H& a5 u4 n, P用with（Groebner）；
然后输入
# C9 s: p+ l3 n3 t: Qx := seq(a[k], k = 0 .. n)
; x8 j2 h* p0 c3 h5 _2 H Basis(pl1, plex(x));
%;
Error, too many levels of recursion
Basis(pl1, prod(x));
* k0 Y4 z" K5 C( o9 n%;
7 e' `1 n1 Q, F0 P# _Error, too many levels of recursion
4 S& M# q# K- g- A/ Q 然后显示错误求高手指点，我做的东西最好用a1,a2,...,an这样设置未知数我好编程                                                           
5 G3 Y+ a* s$ s. Q' I, m