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

Functions

float det (list a)
list inv (list a)
list solve (list a, list b)
float norm (list a)
list eig (list a)
list svd (list a, bool full_matrices=True)

Function Documentation

◆ det()

float linalg.det ( list a)

◆ eig()

list linalg.eig ( list a)

◆ inv()

list linalg.inv ( list a)

◆ norm()

float linalg.norm ( list a)

◆ solve()

list linalg.solve ( list a,
list b )

◆ svd()

list linalg.svd ( list a,
bool full_matrices = True )