Talk:Regular semi-algebraic system