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

lhrman

a1*a2+2*a1*a3+a2*a3=0
% h/ {1 F& P! Z9 |) @; a1 ]a1^2+a1*a2+a2^2+a2*a3+a3^2=1/4;
a1+a2+a3=1
用with（Groebner）；
7 J% {% i% ^) p然后输入
; Z+ i3 o) w! @: r* _x := seq(a[k], k = 0 .. n)
: P% M& W6 r$ b" N* a! ] Basis(pl1, plex(x));
3 ^& o, T  e- Q% `' P%;
# v0 M. K! M3 W& jError, too many levels of recursion
2 @$ ~. c6 n  D3 s7 U6 j3 j% m& HBasis(pl1, prod(x));
%;
+ h0 ?- U5 n! s; SError, too many levels of recursion
% n, K  v, s$ z3 C2 e. i6 ~- a 然后显示错误求高手指点，我做的东西最好用a1,a2,...,an这样设置未知数我好编程