我有一个简单的系统，我想用CellDecompositionMaple 的命令来处理它。我不知道为什么 Maple 在这里给出错误！代码是

restart; 
f1 := 4*b*(5*b*(13*t^2-tau^2)*(t^2+tau^2)^6-3*a*5*t^6-63*t^4*tau^2+35*t^2*tau^4+7*tau^6)); 
f2 := 56*b*tau*(5*b*(t^2+tau^2)^6+a*(9*t^4-30*t^2*tau^2+9*tau^4)); f3 := 1-z*t;
with(RootFinding[Parametric])

m := CellDecomposition([f1 = 0, f2 = 0, f3 = 0], [t, tau, z])

错误是：

Error, (in RootFinding:-Parametric:-CellDecomposition) The number of polynomials is smaller than the number of unknowns

多项式的个数显然和这里的变量个数是一样的！