I have a simple system that I want to process with the CellDecomposition command of Maple. I don't know why Maple is giving an error here! The code isrestart; 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])and the error is:Error, (in RootFinding:-Parametric:-CellDecomposition) The number of polynomials is smaller than the number of unknownsThe number of polynomials is obviously the same as the number of variables here!
Error in Maple's CellDecomposition Command
computational geometry