Guaranteeing the Homotopy Type of a Set Defined by Non-Linear Inequalities