Hi I have a question about the command
Does anyone know what theorem the command is based on?
If the set of inequality is given by polynomials,
how do them be treated? Does the command compute symbolicially or numerically?
Thanks a lot.