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

lhrman

a1*a2+2*a1*a3+a2*a3=0
a1^2+a1*a2+a2^2+a2*a3+a3^2=1/4;
1 B: g+ X% j# _& {( z0 g2 b8 d* Xa1+a2+a3=1
用with（Groebner）；
然后输入
x := seq(a[k], k = 0 .. n)
  y2 V; `7 _6 [3 U; {- O# I# g* r Basis(pl1, plex(x));
8 s2 `. g! _4 w5 N# e%;
Error, too many levels of recursion
" c5 w! P! ^  q7 O- c2 jBasis(pl1, prod(x));
/ V: z& A: \( X7 K9 A+ X%;
* r1 B! x7 Z3 X$ Y" eError, too many levels of recursion
. L& \9 j0 K# W' v2 f/ i/ [ 然后显示错误求高手指点，我做的东西最好用a1,a2,...,an这样设置未知数我好编程                                                           
7 |" \( {' B' Z- n$ b3 `