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

lhrman

a1*a2+2*a1*a3+a2*a3=0
+ [$ s4 d/ M3 T2 {, E! P) X0 Wa1^2+a1*a2+a2^2+a2*a3+a3^2=1/4;
8 n. s3 I) c1 M5 u$ R: R; d7 z3 pa1+a2+a3=1
用with（Groebner）；
4 d" W, N1 k! y; O) ]6 G然后输入
, ]- R* b3 ^' ]% w- Ux := seq(a[k], k = 0 .. n)
Basis(pl1, plex(x));
7 m4 u$ T/ ~8 W) L0 b- V6 @% U2 n%;
* g4 [5 W- C8 P  K# NError, too many levels of recursion
" D& W( K5 q1 N0 t( ?4 T3 WBasis(pl1, prod(x));
%;
Error, too many levels of recursion
. d* R3 V6 N3 r9 Z 然后显示错误求高手指点，我做的东西最好用a1,a2,...,an这样设置未知数我好编程                                                           
% o5 H2 d9 S$ ]' v! @