Complex

Types

Shared type variables and aliases for the theory of complex numbers.

class logic1.theories.Complex.types.α

Generic type variable.

alias of TypeVar(‘α’)

class logic1.theories.Complex.types.η

Type variable for AST nodes.

alias of TypeVar(‘η’, bound=logic1.theories.Complex.ast.AST)

class logic1.theories.Complex.types.τ

Type variable for terms.

alias of TypeVar(‘τ’, bound=logic1.theories.Complex.term.Term)

logic1.theories.Complex.types.RationalNumber: TypeAlias = int | float | fractions.Fraction | gmpy2.mpq

Type alias for rational number types.

logic1.theories.Complex.types.Number: TypeAlias = int | float | fractions.Fraction | gmpy2.mpq | complex

Type alias for complex number types.

logic1.theories.Complex.types.Formula

Type alias for firstorder.formula.Formula in the theory of complex numbers.

alias of Formula[logic1.theories.Complex.atomic.AtomicFormula, logic1.theories.Complex.term.Term, logic1.theories.Complex.term.Variable, int | float | Fraction | mpq | complex]