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

Namespaces

namespace  cmath

Functions

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

Variables

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