.. _api-RCF-types:

*Real Closed Fields*

*****
Types
*****


.. automodule:: logic1.theories.RCF.types
    :members:

    .. class:: MPolynomial

        Alias for :external+sage-polynomial-rings:class:`MPolynomial_libsingular
        <sage.rings.polynomial.multi_polynomial_libsingular.MPolynomial_libsingular>`.

    .. class:: UPolynomial

        Alias for :external+sage-polynomial-rings:class:`Polynomial_generic_dense
        <sage.rings.polynomial.polynomial_element.Polynomial_generic_dense>`.