Solving parametric polynomial systems

We present a new algorithm for solving basic parametric constructible or semi-algebraic systems of the form or , where , U=[U1,…,Ud] is the set of parameters and X=[Xd+1,…,Xn] the set of unknowns. If ΠU denotes the canonical projection onto the parameter’s space, solving or is reduced to the computation of submanifolds or such that is an analytic covering of (we say that has the -covering property). This guarantees that the cardinality of is constant on a neighborhood of u, that is a finite collection of sheets and that ΠU is a local diffeomorphism from each of these sheets onto . We show that the complement in (the closure of for the usual topology of ) of the union of all the open subsets of which have the ( )-covering property is a Zariski closed set which is called the minimal discriminant variety of w.r.t.ΠU, denoted as WD. We propose an algorithm to compute WD efficiently. The variety WD can then be used to solve the parametric system (resp. ) as long as one can describe (resp. ). This can be done by using the critical points method or an “open” cylindrical algebraic decomposition