Real Closed Fields

Types

class logic1.theories.RCF.types.MPolynomial

Alias for MPolynomial_libsingular.

class logic1.theories.RCF.types.UPolynomial

Alias for Polynomial_generic_dense.

logic1.theories.RCF.types.Formula

Type alias for firstorder.formula.Formula in the theory of Real Closed Fields.

alias of Formula[AtomicFormula, Term, Variable, int]

logic1.theories.RCF.types.Prefix

Type alias for firstorder.quantified.Prefix in the theory of Real Closed Fields.

alias of Prefix[Variable]