Real Root Finding for Equivariant Semi-algebraic Systems
Real Root Finding for Equivariant Semi-algebraic Systems
Let R be a real closed field. We consider basic semi-algebraic sets defined by n -variate equations/inequalities of s symmetric polynomials and an equivariant family of polynomials, all of them of degree bounded by 2d < n. Such a semi-algebraic set is invariant by the action of the symmetric group. …