ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
cmath Namespace Reference

Functions

float phase (complex z)
float _safe_sqrt_nonnegative (float x)
float _sign (float x)
float _clamp_unit (float x)
float _safe_acosh_arg (float x)
float _norm2 (float a, float b)
float _real_asin_unit (float x)
float _real_acos_unit (float x)
float _real_acosh_ge1 (float x)
float _abs_complex (complex z)
tuple[float, float] polar (complex z)
complex rect (float r, float phi)
complex exp (complex z)
float _safe_positive (float x)
float _real_log_positive (float x)
complex log (complex z, float base=0.0)
complex log10 (complex z)
complex sqrt (complex z)
complex sin (complex z)
complex cos (complex z)
complex tan (complex z)
complex sinh (complex z)
complex cosh (complex z)
complex tanh (complex z)
complex asin (complex z)
complex acos (complex z)
complex atan (complex z)
complex asinh (complex z)
complex acosh (complex z)
complex atanh (complex z)
bool isnan (complex z)
bool isinf (complex z)
bool isfinite (complex z)
bool isclose (complex a, complex b, float rel_tol=1e-09, float abs_tol=0.0)

Variables

float pi = math.pi
float e = math.e
float tau = math.tau
float inf = math.inf
float nan = math.nan
complex infj = complex(0.0, inf)
complex nanj = complex(0.0, nan)
complex _I = complex(0.0, 1.0)
complex _NEG_I = complex(0.0, -1.0)
float _MIN_POSITIVE = 2.2250738585072014e-308
float _LN2 = 0.6931471805599453
float _LN10 = 2.302585092994046

Function Documentation

◆ _abs_complex()

float cmath._abs_complex ( complex z)
protected

◆ _clamp_unit()

float cmath._clamp_unit ( float x)
protected

◆ _norm2()

float cmath._norm2 ( float a,
float b )
protected

◆ _real_acos_unit()

float cmath._real_acos_unit ( float x)
protected

◆ _real_acosh_ge1()

float cmath._real_acosh_ge1 ( float x)
protected

◆ _real_asin_unit()

float cmath._real_asin_unit ( float x)
protected

◆ _real_log_positive()

float cmath._real_log_positive ( float x)
protected

◆ _safe_acosh_arg()

float cmath._safe_acosh_arg ( float x)
protected

◆ _safe_positive()

float cmath._safe_positive ( float x)
protected

◆ _safe_sqrt_nonnegative()

float cmath._safe_sqrt_nonnegative ( float x)
protected

◆ _sign()

float cmath._sign ( float x)
protected

◆ acos()

complex cmath.acos ( complex z)

◆ acosh()

complex cmath.acosh ( complex z)

◆ asin()

complex cmath.asin ( complex z)

◆ asinh()

complex cmath.asinh ( complex z)

◆ atan()

complex cmath.atan ( complex z)

◆ atanh()

complex cmath.atanh ( complex z)

◆ cos()

complex cmath.cos ( complex z)

◆ cosh()

complex cmath.cosh ( complex z)

◆ exp()

complex cmath.exp ( complex z)

◆ isclose()

bool cmath.isclose ( complex a,
complex b,
float rel_tol = 1e-09,
float abs_tol = 0.0 )

◆ isfinite()

bool cmath.isfinite ( complex z)

◆ isinf()

bool cmath.isinf ( complex z)

◆ isnan()

bool cmath.isnan ( complex z)

◆ log()

complex cmath.log ( complex z,
float base = 0.0 )

◆ log10()

complex cmath.log10 ( complex z)

◆ phase()

float cmath.phase ( complex z)

◆ polar()

tuple[float, float] cmath.polar ( complex z)

◆ rect()

complex cmath.rect ( float r,
float phi )

◆ sin()

complex cmath.sin ( complex z)

◆ sinh()

complex cmath.sinh ( complex z)

◆ sqrt()

complex cmath.sqrt ( complex z)

◆ tan()

complex cmath.tan ( complex z)

◆ tanh()

complex cmath.tanh ( complex z)

Variable Documentation

◆ _I

complex cmath._I = complex(0.0, 1.0)
protected

◆ _LN10

float cmath._LN10 = 2.302585092994046
protected

◆ _LN2

float cmath._LN2 = 0.6931471805599453
protected

◆ _MIN_POSITIVE

float cmath._MIN_POSITIVE = 2.2250738585072014e-308
protected

◆ _NEG_I

complex cmath._NEG_I = complex(0.0, -1.0)
protected

◆ e

float cmath.e = math.e

◆ inf

float cmath.inf = math.inf

◆ infj

complex cmath.infj = complex(0.0, inf)

◆ nan

float cmath.nan = math.nan

◆ nanj

complex cmath.nanj = complex(0.0, nan)

◆ pi

float cmath.pi = math.pi

◆ tau

float cmath.tau = math.tau