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

lhrman

a1*a2+2*a1*a3+a2*a3=0
8 d- @  G* ?" }a1^2+a1*a2+a2^2+a2*a3+a3^2=1/4;
- G0 w  H* ?1 U% c. v1 N) m4 ga1+a2+a3=1
) t/ e- l7 m  D. M: v用with（Groebner）；
然后输入
2 q+ [- x& @* H' ^- Ex := seq(a[k], k = 0 .. n)
, H7 @5 t) B7 @: ~# k& x8 C" B4 n! K Basis(pl1, plex(x));
%;
$ ?& v- Y: t. @# o% g) RError, too many levels of recursion
0 Z, E: b6 s2 e9 }( cBasis(pl1, prod(x));
%;
+ Q: ]+ O0 g( w9 w% v+ T- X' y4 PError, too many levels of recursion
然后显示错误求高手指点，我做的东西最好用a1,a2,...,an这样设置未知数我好编程                                                           
( C; [4 _  g9 A