Skip to main content

Module analysis

Module analysis 

Source
Expand description

Finite-dimensional analysis foundations used by native calculus.

Structs§

Basis
Complex64
FixedPointCertificate
Interval
LinearMap
Vector

Enums§

AnalysisError

Functions§

contraction_fixed_point