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

Namespaces

namespace  math

Functions

int math.comb (int n, int k)
bool math.isinf (float x)
bool math.isnan (float x)
int math.floor (float x)
int math.ceil (float x)
float math.sin (float x)
float math.cos (float x)
float math.tan (float x)
float math.sqrt (float x)
float math.exp (float x)
float math.log (float x)
int math.factorial (int n)
int math.gcd (int a, int b)
int math.lcm (int a, int b)
int math.isqrt (int n)
int math.perm (int n, int k=-1)
int math.prod (list[int] values, int start=1)
bool math.isclose (float a, float b, float rel_tol=1e-09, float abs_tol=0.0)
float math.expm1 (float x)
float math.log1p (float x)
float math.exp2 (float x)
float math.asin (float x)
float math.acos (float x)
float math.atan (float x)
float math.atan2 (float y, float x)
float math.log2 (float x)
float math.log10 (float x)
float math.asinh (float x)
float math.acosh (float x)
float math.atanh (float x)
float math.hypot (float x, float y)
float math.dist (list[float] p, list[float] q)
float math.pow (float x, float y)
float math.fabs (float x)
int math.trunc (float x)
float math.fmod (float x, float y)
float math.copysign (float x, float y)
float math.sinh (float x)
float math.cosh (float x)
float math.tanh (float x)
bool math.isfinite (float x)
float math.degrees (float x)
float math.radians (float x)
tuple[float, float] math.modf (float x)
float math.cbrt (float x)
float math.erf (float x)
float math.erfc (float x)
tuple[float, int] math.frexp (float x)
float math.fsum (list[float] values)
float math._lanczos_sum (float z)
float math.gamma (float x)
float math.ldexp (float x, int i)
float math.lgamma (float x)
float math.remainder (float x, float y)
float math.sumprod (list[float] a, list[float] b)
float math.ulp (float x)
float math.nextafter (float x, float y)

Variables

float math.pi = 3.141592653589793
float math.e = 2.718281828459045
float math.inf = float('inf')
float math.tau = 6.283185307179586
float math.nan = float('nan')