Bindings.LevMar

A low level binding to the C levmar (Levenberg-Marquardt) library.

For documentation see: http://www.ics.forth.gr/~lourakis/levmar/

Documentation

c'LM_VERSION :: String

The version of the C levmar library.

Maximum sizes of arrays.

c'LM_OPTS_SZ :: Num a => a

The maximum size of the options array.

c'LM_INFO_SZ :: Num a => a

The size of the info array.

Errors.

c'LM_ERROR :: Num a => a

c'LM_ERROR_LAPACK_ERROR :: Num a => a

c'LM_ERROR_NO_JACOBIAN :: Num a => a

c'LM_ERROR_NO_BOX_CONSTRAINTS :: Num a => a

c'LM_ERROR_FAILED_BOX_CHECK :: Num a => a

c'LM_ERROR_MEMORY_ALLOCATION_FAILURE :: Num a => a

c'LM_ERROR_CONSTRAINT_MATRIX_ROWS_GT_COLS :: Num a => a

c'LM_ERROR_CONSTRAINT_MATRIX_NOT_FULL_ROW_RANK :: Num a => a

c'LM_ERROR_TOO_FEW_MEASUREMENTS :: Num a => a

c'LM_ERROR_SINGULAR_MATRIX :: Num a => a

c'LM_ERROR_SUM_OF_SQUARES_NOT_FINITE :: Num a => a

Default values for minimization options.

c'LM_INIT_MU :: Fractional a => a

c'LM_STOP_THRESH :: Fractional a => a

c'LM_DIFF_DELTA :: Fractional a => a

Handy type synonyms

type Parameters = Ptr

type Measurements = Ptr

type Options = Ptr

type LowerBounds = Ptr

type UpperBounds = Ptr

type ConstraintsMatrix = Ptr

type ConstraintsVector = Ptr

type Weights = Ptr

type Info = Ptr

type Work = Ptr

type Covar = Ptr

type AData = Ptr ()

type NrOfParameters = CInt

type NrOfMeasurements = CInt

type NrOfConstraints = CInt

type MaxIterations = CInt

Model & Jacobian.

type Model r = Parameters r -> Measurements r -> NrOfParameters -> NrOfMeasurements -> AData -> IO ()

Functional relation describing measurements.

type Jacobian a = Model a

withModel :: Model a -> (FunPtr (Model a) -> IO b) -> IO b

withJacobian :: Jacobian a -> (FunPtr (Jacobian a) -> IO b) -> IO b

Types of the Levenberg-Marquardt algorithms.

type LevMarDer cr = FunPtr (Model cr) -> FunPtr (Jacobian cr) -> Parameters cr -> Measurements cr -> NrOfParameters -> NrOfMeasurements -> MaxIterations -> Options cr -> Info cr -> Work cr -> Covar cr -> AData -> IO CInt

type LevMarDif cr = FunPtr (Model cr) -> Parameters cr -> Measurements cr -> NrOfParameters -> NrOfMeasurements -> MaxIterations -> Options cr -> Info cr -> Work cr -> Covar cr -> AData -> IO CInt

type LevMarBCDer cr = FunPtr (Model cr) -> FunPtr (Jacobian cr) -> Parameters cr -> Measurements cr -> NrOfParameters -> NrOfMeasurements -> LowerBounds cr -> UpperBounds cr -> MaxIterations -> Options cr -> Info cr -> Work cr -> Covar cr -> AData -> IO CInt

type LevMarBCDif cr = FunPtr (Model cr) -> Parameters cr -> Measurements cr -> NrOfParameters -> NrOfMeasurements -> LowerBounds cr -> UpperBounds cr -> MaxIterations -> Options cr -> Info cr -> Work cr -> Covar cr -> AData -> IO CInt

type LevMarLecDer cr = FunPtr (Model cr) -> FunPtr (Jacobian cr) -> Parameters cr -> Measurements cr -> NrOfParameters -> NrOfMeasurements -> ConstraintsMatrix cr -> ConstraintsVector cr -> NrOfConstraints -> MaxIterations -> Options cr -> Info cr -> Work cr -> Covar cr -> AData -> IO CInt

type LevMarLecDif cr = FunPtr (Model cr) -> Parameters cr -> Measurements cr -> NrOfParameters -> NrOfMeasurements -> ConstraintsMatrix cr -> ConstraintsVector cr -> NrOfConstraints -> MaxIterations -> Options cr -> Info cr -> Work cr -> Covar cr -> AData -> IO CInt

type LevMarBLecDer cr = FunPtr (Model cr) -> FunPtr (Jacobian cr) -> Parameters cr -> Measurements cr -> NrOfParameters -> NrOfMeasurements -> LowerBounds cr -> UpperBounds cr -> ConstraintsMatrix cr -> ConstraintsVector cr -> NrOfConstraints -> Weights cr -> MaxIterations -> Options cr -> Info cr -> Work cr -> Covar cr -> AData -> IO CInt

type LevMarBLecDif cr = FunPtr (Model cr) -> Parameters cr -> Measurements cr -> NrOfParameters -> NrOfMeasurements -> LowerBounds cr -> UpperBounds cr -> ConstraintsMatrix cr -> ConstraintsVector cr -> NrOfConstraints -> Weights cr -> MaxIterations -> Options cr -> Info cr -> Work cr -> Covar cr -> AData -> IO CInt

Levenberg-Marquardt algorithms.

c'dlevmar_der :: LevMarDer CDouble

c'slevmar_der :: LevMarDer CFloat

c'dlevmar_dif :: LevMarDif CDouble

c'slevmar_dif :: LevMarDif CFloat

c'dlevmar_bc_der :: LevMarBCDer CDouble

c'slevmar_bc_der :: LevMarBCDer CFloat

c'dlevmar_bc_dif :: LevMarBCDif CDouble

c'slevmar_bc_dif :: LevMarBCDif CFloat

c'dlevmar_lec_der :: LevMarLecDer CDouble

c'slevmar_lec_der :: LevMarLecDer CFloat

c'dlevmar_lec_dif :: LevMarLecDif CDouble

c'slevmar_lec_dif :: LevMarLecDif CFloat

c'dlevmar_blec_der :: LevMarBLecDer CDouble

c'slevmar_blec_der :: LevMarBLecDer CFloat

c'dlevmar_blec_dif :: LevMarBLecDif CDouble

c'slevmar_blec_dif :: LevMarBLecDif CFloat

Jacobian verification

type Errors = Ptr

type LevMarChkJac cr = FunPtr (Model cr) -> FunPtr (Jacobian cr) -> Parameters cr -> NrOfParameters -> NrOfMeasurements -> AData -> Errors cr -> IO ()

c'dlevmar_chkjac :: LevMarChkJac CDouble

c'slevmar_chkjac :: LevMarChkJac CFloat

Utils

type BestFitParameterIx = CInt

type LevMarStddev cr = Covar cr -> NrOfParameters -> BestFitParameterIx -> IO cr

Standard deviation.

type LevMarCorCoef cr = Covar cr -> NrOfParameters -> BestFitParameterIx -> BestFitParameterIx -> IO cr

Pearson's correlation coefficient for best-fit parameters.

type LevMarR2 cr = FunPtr (Model cr) -> Parameters cr -> Measurements cr -> NrOfParameters -> NrOfMeasurements -> AData -> Result cr -> IO CInt

Coefficient of determination (R2).

type Result = Ptr

c'dlevmar_stddev :: LevMarStddev CDouble

c'slevmar_stddev :: LevMarStddev CFloat

c'dlevmar_corcoef :: LevMarCorCoef CDouble

c'slevmar_corcoef :: LevMarCorCoef CFloat

c'dlevmar_R2 :: LevMarR2 CDouble

c'slevmar_R2 :: LevMarR2 CFloat