Regular semi-algebraic system (source code)

= Regular semi-algebraic system
{wiki=Regular_semi-algebraic_system}