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

Namespaces

namespace  numpy

Functions

list[Any] numpy.array (list[Any] data)
list[float] numpy.zeros (int shape)
list[float] numpy.ones (int shape)
list[float] numpy.empty (int shape)
list numpy.empty_like (list a)
list numpy.zeros_like (list a)
list numpy.ones_like (list a)
list numpy.full_like (list a, Any fill_value)
float numpy.add (int a, int b)
float numpy.subtract (int a, int b)
float numpy.multiply (int a, int b)
float numpy.divide (int a, int b)
float numpy.power (int a, int b)
int numpy.ceil (float x)
int numpy.floor (float x)
float numpy.fabs (float x)
float numpy.sqrt (float x)
float numpy.trunc (float x)
float numpy.round (float x, int decimals=0)
float numpy.sin (float x)
float numpy.cos (float x)
float numpy.arccos (float x)
float numpy.exp (float x)
float numpy.fmod (float x)
float numpy.arctan (float x)
float numpy.arcsin (float x)
float numpy.tan (float x)
float numpy.log (float x)
float numpy.log2 (float x)
float numpy.log10 (float x)
float numpy.sinh (float x)
float numpy.cosh (float x)
float numpy.tanh (float x)
float numpy.rint (float x)
float numpy.remainder (float x, float y)
float numpy.nextafter (float x, float y)
tuple[float, float] numpy.modf (float x)
tuple[float, int] numpy.frexp (float x)
bool numpy.isclose (float a, float b, float rtol=1e-05, float atol=1e-08, bool equal_nan=False)
float numpy.copysign (float x, float y)
float numpy.fmin (float x, float y)
float numpy.fmax (float x, float y)
Any numpy.greater (Any a, Any b)
Any numpy.less (Any a, Any b)
Any numpy.greater_equal (Any a, Any b)
Any numpy.less_equal (Any a, Any b)
Any numpy.equal (Any a, Any b)
Any numpy.not_equal (Any a, Any b)
Any numpy.logical_and (Any a, Any b)
Any numpy.logical_or (Any a, Any b)
Any numpy.logical_not (Any a)
Any numpy.sum (Any a, int axis=-1)
Any numpy.prod (Any a, int axis=-1)
Any numpy.min (Any a, int axis=-1)
Any numpy.max (Any a, int axis=-1)
Any numpy.mean (Any a, int axis=-1)
Any numpy.argmin (Any a, int axis=-1)
Any numpy.argmax (Any a, int axis=-1)
Any numpy.where (Any cond, Any x, Any y)
list[int] numpy.arange (int start, int stop=0, int step=1)
Any numpy.full (Any shape, Any fill_value)
list[list[int]] numpy.eye (int n, int m=0)
list[list[int]] numpy.identity (int n)
list[float] numpy.linspace (float start, float stop, int num=50)
list numpy.squeeze (list a)
list numpy.stack (list arrays, int axis=0)
list numpy.concatenate (list arrays, int axis=0)
float numpy.dot (float a, float b)
float numpy.matmul (float a, float b)
float numpy.transpose (float a, float b)

Variables

float numpy.pi = math.pi
float numpy.e = math.e