Module Lacaml__utils

module Lacaml__utils: sig .. end

General auxiliary functions


val empty_int32_vec : Lacaml__common.int32_vec
val get_norm_char : [< `F | `I | `M | `O ] -> char
val get_uplo_char : bool -> char
val get_trans_char : [< `C | `N | `T ] -> char
val get_side_char : [< `L | `R ] -> char
val get_diag_char : [< `N | `U ] -> char
val get_s_d_job_char : [< `A | `N | `O | `S ] -> char
val get_job_char : bool -> char
val job_char_true : char
val job_char_false : char

Preallocated strings (names)

val a_str : string
val ab_str : string
val alphas_str : string
val ap_str : string
val b_str : string
val br_str : string
val bc_str : string
val c_str : string
val cr_str : string
val cc_str : string
val d_str : string
val dl_str : string
val du_str : string
val e_str : string
val ipiv_str : string
val iseed_str : string
val k_str : string
val ka_str : string
val kb_str : string
val work_str : string
val lwork_str : string
val liwork_str : string
val k1_str : string
val k2_str : string
val kd_str : string
val kl_str : string
val ku_str : string
val m_str : string
val n_str : string
val nrhs_str : string
val ofs_str : string
val r_str : string
val s_str : string
val tau_str : string
val u_str : string
val um_str : string
val un_str : string
val vm_str : string
val vn_str : string
val vs_str : string
val vsr_str : string
val vsc_str : string
val vt_str : string
val w_str : string
val wi_str : string
val wr_str : string
val x_str : string
val y_str : string
val z_str : string

Range checking

val raise_var_lt0 : loc:string -> name:string -> int -> 'a

raise_var_lt0 ~loc ~name var

val check_var_lt0 : loc:string -> name:string -> int -> unit

check_var_lt0 ~loc ~name var checks whether integer variable var with name name at location loc is lower than 0.

val check_var_within : string -> string -> 'a -> 'a -> 'a -> ('a -> string) -> unit

Valueless vector checking and allocation functions (do not require a vector value as argument

val calc_vec_min_dim : n:int -> ofs:int -> inc:int -> int

calc_vec_min_dim ~n ~ofs ~inc

val raise_vec_min_dim : loc:string -> vec_name:string -> dim:int -> min_dim:int -> 'a

raise_vec_min_dim ~loc ~vec_name ~dim ~min_dim

val check_vec_min_dim : loc:string -> vec_name:string -> dim:int -> min_dim:int -> unit

check_vec_min_dim ~loc ~vec_name ~dim ~min_dim checks whether vector with name vec_name and dimension dim satisfies minimum dimension min_dim.

val raise_vec_bad_ofs : loc:string -> vec_name:string -> ofs:int -> max_ofs:int -> 'a

raise_vec_bad_ofs ~loc ~vec_name ~ofs ~max_ofs

val bad_n : n:int -> max_n:int -> bool

bad_n ~n ~max_n

val bad_ofs : ofs:int -> max_ofs:int -> bool

bad_ofs ~ofs ~max_ofs

val bad_inc : int -> bool

bad_inc inc

val check_vec_ofs : loc:string -> vec_name:string -> ofs:int -> max_ofs:int -> unit

check_vec_ofs ~loc ~vec_name ~ofs ~max_ofs checks whether vector offset ofs for vector of name vec_name is invalid (i.e. outside of 1..max_ofs).

val check_vec_inc : loc:string -> vec_name:string -> int -> unit

check_vec_inc ~loc ~vec_name inc checks whether vector increment inc for vector of name vec_name is invalid (i.e. 0).

val calc_vec_max_n : dim:int -> ofs:int -> inc:int -> int

calc_vec_max_n ~dim ~ofs ~inc

val calc_vec_opt_max_n : ?ofs:int -> ?inc:int -> int -> int

calc_vec_opt_max_n ?ofs ?inc dim

val raise_max_len : loc:string -> len_name:string -> len:int -> max_len:int -> 'a

raise_max_len ~loc ~len_name ~len ~max_len

val check_vec_dim : loc:string ->
vec_name:string ->
dim:int -> ofs:int -> inc:int -> n_name:string -> n:int -> unit

check_vec_dim ~loc ~vec_name ~dim ~ofs ~inc ~n_name ~n checks the vector operation length in parameter n with name n_name at location loc for vector with name vec_name and dimension dim given the operation offset ofs and increment inc.

val get_vec_n : loc:string ->
vec_name:string ->
dim:int -> ofs:int -> inc:int -> n_name:string -> int option -> int

get_vec_n ~loc ~vec_name ~dim ~ofs ~inc ~n_name n checks or infers the vector operation length in the option parameter n with name n_name at location loc for vector with name vec_name and dimension dim given the operation offset ofs and increment inc.

val get_vec_min_dim : loc:string -> vec_name:string -> ofs:int -> inc:int -> n:int -> int

get_vec_min_dim ~loc ~vec_name ~ofs ~inc ~n

val get_vec_start_stop : ofsx:int -> incx:int -> n:int -> int * int

get_vec_start_stop ~ofsx ~incx ~n

Valueless matrix checking and allocation functions (do not require a matrix value as argument

val raise_bad_mat_ofs : loc:string -> name:string -> ofs_name:string -> ofs:int -> max_ofs:int -> 'a

raise_bad_mat_ofs ~loc ~name ~ofs_name ~ofs ~max_ofs

val raise_mat_bad_r : loc:string -> mat_name:string -> r:int -> max_r:int -> 'a

raise_mat_bad_r ~loc ~mat_name ~r ~max_r

val raise_mat_bad_c : loc:string -> mat_name:string -> c:int -> max_c:int -> 'a

raise_mat_bad_c ~loc ~mat_name ~c ~max_c

val check_mat_r : loc:string -> mat_name:string -> r:int -> max_r:int -> unit

check_mat_r ~loc ~vec_name ~r ~max_r checks whether matrix row offset r for vector of name vec_name is invalid (i.e. outside of 1..max_r).

val check_mat_c : loc:string -> mat_name:string -> c:int -> max_c:int -> unit

check_mat_c ~loc ~vec_name ~c ~max_c checks whether matrix column offset c for vector of name vec_name is invalid (i.e. outside of 1..max_c).

val calc_mat_max_rows : dim1:int -> r:int -> int

calc_mat_max_rows ~dim1 ~r

val calc_mat_opt_max_rows : ?r:int -> int -> int

calc_mat_opt_max_rows ?r dim1

val calc_mat_max_cols : dim2:int -> c:int -> int

calc_mat_max_cols ~dim2 ~c

val calc_mat_opt_max_cols : ?c:int -> int -> int

calc_mat_opt_max_cols ?c dim1

val check_mat_rows : loc:string ->
mat_name:string -> dim1:int -> r:int -> p:int -> param_name:string -> unit

check_mat_rows ~loc ~mat_name ~dim1 ~r ~p ~param_name checks the matrix row operation length in parameter p with name param_name at location loc for matrix with name mat_name and dimension dim1 given the operation row r.

val check_mat_m : loc:string -> mat_name:string -> dim1:int -> r:int -> m:int -> unit

check_mat_m ~loc ~mat_name ~dim1 ~r ~m checks the matrix row operation length in parameter m at location loc for matrix with name mat_name and dimension dim1 given the operation row r.

val check_mat_cols : loc:string ->
mat_name:string -> dim2:int -> c:int -> p:int -> param_name:string -> unit

check_mat_cols ~loc ~mat_name ~dim2 ~c ~p ~param_name checks the matrix column operation length in parameter p with name param_name at location loc for matrix with name mat_name and dimension dim2 given the operation column c.

val check_mat_n : loc:string -> mat_name:string -> dim2:int -> c:int -> n:int -> unit

check_mat_n ~loc ~mat_name ~dim2 ~c ~n checks the matrix column operation length in parameter n at location loc for matrix with name mat_name and dimension dim2 given the operation column c.

val check_mat_mn : loc:string ->
mat_name:string ->
dim1:int -> dim2:int -> r:int -> c:int -> m:int -> n:int -> unit

check_mat_mn ~loc ~mat_name ~dim1 ~dim2 ~r ~c ~m ~n checks the matrix operation lengths in parameters m and n at location loc for matrix with name mat_name and dimensions dim1 and dim2 given the operation row r and column c.

val get_mat_rows : loc:string ->
mat_name:string ->
dim1:int -> r:int -> p:int option -> param_name:string -> int

get_mat_rows ~loc ~mat_name ~dim1 ~r p ~param_name checks or infers the matrix row operation length in the option parameter p with name param_name at location loc for matrix with name mat_name and dimension dim1 given the row operation offset r.

val get_mat_dim1 : loc:string ->
mat_name:string -> dim1:int -> r:int -> m:int option -> m_name:string -> int

get_mat_dim1 ~loc ~mat_name ~dim1 ~r ~m ~m_name checks or infers the matrix row operation length in the option parameter m with name m_name at location loc for matrix with name mat_name and dimension dim1 given the row operation offset r.

val get_mat_m : loc:string -> mat_name:string -> dim1:int -> r:int -> m:int option -> int

get_mat_m ~loc ~mat_name ~dim1 ~r ~m checks or infers the matrix row operation length in the option parameter m at location loc for matrix with name mat_name and dimension dim1 given the row operation offset r.

val get_mat_cols : loc:string ->
mat_name:string ->
dim2:int -> c:int -> p:int option -> param_name:string -> int

get_mat_cols ~loc ~mat_name ~dim2 ~c ~param_name p checks or infers the matrix column operation length in the option parameter p with name param_name at location loc for matrix with name mat_name and dimension dim2 given the column operation offset c.

val get_mat_dim2 : loc:string ->
mat_name:string -> dim2:int -> c:int -> n:int option -> n_name:string -> int

get_mat_dim2 ~loc ~mat_name ~dim2 ~c ~n ~n_name checks or infers the matrix column operation length in the option parameter n with name n_name at location loc for matrix with name mat_name and dimension dim2 given the column operation offset c.

val get_mat_n : loc:string -> mat_name:string -> dim2:int -> c:int -> n:int option -> int

get_mat_n ~loc ~mat_name ~dim2 ~c ~n checks or infers the matrix column operation length in the option parameter n at location loc for matrix with name mat_name and dimension dim2 given the column operation offset c.

val get_mat_min_dim1 : loc:string -> mat_name:string -> r:int -> m:int -> int

get_mat_min_dim1 ~loc ~mat_name ~r ~m

val get_mat_min_dim2 : loc:string -> mat_name:string -> c:int -> n:int -> int

get_mat_min_dim2 ~loc ~mat_name ~c ~n

val check_mat_min_dim1 : loc:string -> mat_name:string -> dim1:int -> min_dim1:int -> unit

check_mat_min_dim1 ~loc ~mat_name ~dim1 ~min_dim1 checks the minimum row dimension min_dim1 of a matrix with name mat_name at location loc given its row dimension dim1.

val check_mat_min_dim2 : loc:string -> mat_name:string -> dim2:int -> min_dim2:int -> unit

check_mat_min_dim2 ~loc ~mat_name ~dim2 ~min_dim2 checks the minimum column dimension min_dim2 of a matrix with name mat_name at location loc given its column dimension dim2.

val check_mat_min_dims : loc:string ->
mat_name:string ->
dim1:int -> dim2:int -> min_dim1:int -> min_dim2:int -> unit

check_mat_min_dim2 ~loc ~mat_name ~dim2 ~min_dim2 checks the minimum column dimension min_dim2 of a matrix with name mat_name at location loc given its column dimension dim2.

(Old) Vector checking and allocation functions

val check_vec : string -> string -> ('a, 'b, 'c) Bigarray.Array1.t -> int -> unit
val check_vec_is_perm : string -> string -> (int32, 'a, 'b) Bigarray.Array1.t -> int -> unit

check_vec_is_perm loc vec_name vec n checks whether vec is a valid permutation vector.

val get_vec : string ->
string ->
('a, 'b, 'c) Bigarray.Array1.t option ->
int ->
int ->
int ->
(int -> ('a, 'b, 'c) Bigarray.Array1.t) -> ('a, 'b, 'c) Bigarray.Array1.t
val get_dim_vec : string ->
string ->
int -> int -> ('a, 'b, 'c) Bigarray.Array1.t -> string -> int option -> int

get_dim_vec loc vec_name ofs inc vec n_name n if the dimension n is given, check that the vector vec is big enough, otherwise return the maximal n for the given vector vec.

val check_vec_empty : loc:string -> vec_name:string -> dim:int -> unit

(Old) Matrix checking and allocation functions

val get_mat : string ->
string ->
(int -> int -> ('a, 'b, 'c) Bigarray.Array2.t) ->
int ->
int ->
('a, 'b, 'c) Bigarray.Array2.t option ->
int -> int -> ('a, 'b, 'c) Bigarray.Array2.t
val check_dim1_mat : string ->
string -> ('a, 'b, 'c) Bigarray.Array2.t -> int -> string -> int -> unit
val check_dim2_mat : string ->
string -> ('a, 'b, 'c) Bigarray.Array2.t -> int -> string -> int -> unit
val check_dim_mat : string ->
string -> int -> int -> ('a, 'b, 'c) Bigarray.Array2.t -> int -> int -> unit
val get_dim1_mat : string ->
string ->
('a, 'b, 'c) Bigarray.Array2.t -> int -> string -> int option -> int
val get_dim2_mat : string ->
string ->
('a, 'b, 'c) Bigarray.Array2.t -> int -> string -> int option -> int
val check_mat_empty : loc:string -> mat_name:string -> dim1:int -> dim2:int -> unit
val get_vec_inc : string -> string -> int option -> int
val get_vec_ofs : string -> string -> int option -> int
val ilaenv : int -> string -> string -> int -> int -> int -> int -> int
val get_work : string ->
(int -> ('a, 'b, 'c) Bigarray.Array1.t) ->
('a, 'b, 'c) Bigarray.Array1.t option ->
int -> int -> string -> ('a, 'b, 'c) Bigarray.Array1.t * int
val calc_unpacked_dim : string -> int -> int
val get_unpacked_dim : string -> ?n:int -> int -> int
val get_vec_geom : string -> string -> int option -> int option -> int * int
val get_k_mat_sb : string ->
string ->
('a, 'b, 'c) Bigarray.Array2.t -> int -> string -> int option -> int
val get_dim_mat_packed : string ->
string ->
int -> ('a, 'b, 'c) Bigarray.Array1.t -> string -> int option -> int
val get_n_of_square : string ->
string -> int -> int -> ('a, 'b, 'c) Bigarray.Array2.t -> int option -> int
val get_n_of_a : string -> int -> int -> ('a, 'b, 'c) Bigarray.Array2.t -> int option -> int
val get_nrhs_of_b : string ->
int -> int -> int -> ('a, 'b, 'c) Bigarray.Array2.t -> int option -> int
val orgqr_err : loc:string ->
m:int ->
n:int ->
k:int ->
work:('a, 'b, 'c) Bigarray.Array1.t ->
a:('d, 'e, 'f) Bigarray.Array2.t -> err:int -> 'g
val orgqr_get_params : string ->
?m:int ->
?n:int ->
?k:int ->
tau:('a, 'b, 'c) Bigarray.Array1.t ->
ar:int -> ac:int -> ('d, 'e, 'f) Bigarray.Array2.t -> int * int * int
val ormqr_err : loc:string ->
side:[< `L | `R ] ->
m:int ->
n:int ->
k:int ->
lwork:int ->
a:('a, 'b, 'c) Bigarray.Array2.t ->
c:('d, 'e, 'f) Bigarray.Array2.t -> err:int -> 'g
val ormqr_get_params : string ->
side:[< `L | `R ] ->
?m:int ->
?n:int ->
?k:int ->
tau:('a, 'b, 'c) Bigarray.Array1.t ->
ar:int ->
ac:int ->
('d, 'e, 'f) Bigarray.Array2.t ->
cr:int -> cc:int -> ('g, 'h, 'i) Bigarray.Array2.t -> int * int * int
val gelsX_err : string ->
(m:int -> n:int -> nrhs:int -> int) ->
int ->
('a, 'b, 'c) Bigarray.Array2.t ->
int ->
int -> int -> int -> int -> ('d, 'e, 'f) Bigarray.Array2.t -> int -> 'g
val gelsX_get_s : (int -> ('a, 'b, 'c) Bigarray.Array1.t) ->
string ->
int ->
int ->
('a, 'b, 'c) Bigarray.Array1.t option -> ('a, 'b, 'c) Bigarray.Array1.t
val gelsX_get_params : string ->
int ->
int ->
('a, 'b, 'c) Bigarray.Array2.t ->
int option ->
int option ->
int option -> int -> int -> ('d, 'e, 'f) Bigarray.Array2.t -> int * int * int
val xxev_get_params : string ->
int ->
int ->
('a, 'b, 'c) Bigarray.Array2.t ->
int option -> bool -> bool -> int * char * char
val xxev_get_wx : (int -> ('a, 'b, 'c) Bigarray.Array1.t) ->
string ->
string ->
int ->
('a, 'b, 'c) Bigarray.Array1.t option ->
int -> int * ('a, 'b, 'c) Bigarray.Array1.t
val geev_get_job_side : string ->
('a, 'b, 'c) Bigarray.Array2.t ->
(int -> int -> ('a, 'b, 'c) Bigarray.Array2.t) ->
string ->
int ->
int ->
int ->
('a, 'b, 'c) Bigarray.Array2.t option option ->
int * int * ('a, 'b, 'c) Bigarray.Array2.t * char * bool
val geev_gen_get_params : string ->
('a, 'b, 'c) Bigarray.Array2.t ->
(int -> int -> ('a, 'b, 'c) Bigarray.Array2.t) ->
int ->
int ->
('d, 'e, 'f) Bigarray.Array2.t ->
int option ->
int ->
int ->
('a, 'b, 'c) Bigarray.Array2.t option option ->
int ->
int ->
('a, 'b, 'c) Bigarray.Array2.t option option ->
int * int * int * ('a, 'b, 'c) Bigarray.Array2.t * char * int * int *
('a, 'b, 'c) Bigarray.Array2.t * char * bool
val gXmv_get_params : string ->
(int -> ('a, 'b, 'c) Bigarray.Array1.t) ->
int ->
int ->
int option ->
int option ->
('d, 'e, 'f) Bigarray.Array1.t ->
int option ->
int option ->
('a, 'b, 'c) Bigarray.Array1.t option ->
[< `C | `N | `T > `N ] ->
int * int * int * int * ('a, 'b, 'c) Bigarray.Array1.t * char
val symv_get_params : string ->
(int -> ('a, 'b, 'c) Bigarray.Array1.t) ->
int ->
int ->
('d, 'e, 'f) Bigarray.Array2.t ->
int option ->
int option ->
int option ->
('g, 'h, 'i) Bigarray.Array1.t ->
int option ->
int option ->
('a, 'b, 'c) Bigarray.Array1.t option ->
bool -> int * int * int * int * int * ('a, 'b, 'c) Bigarray.Array1.t * char
val trXv_get_params : string ->
int ->
int ->
('a, 'b, 'c) Bigarray.Array2.t ->
int option ->
int option ->
int option ->
('d, 'e, 'f) Bigarray.Array1.t ->
bool ->
[< `C | `N | `T ] -> [< `N | `U ] -> int * int * int * char * char * char
val tpXv_get_params : string ->
int option ->
('a, 'b, 'c) Bigarray.Array1.t ->
?n:int ->
int option ->
int option ->
('d, 'e, 'f) Bigarray.Array1.t ->
bool ->
[< `C | `N | `T ] ->
[< `N | `U ] -> int * int * int * int * char * char * char
val get_c : string ->
(int -> int -> ('a, 'b, 'c) Bigarray.Array2.t) ->
int ->
int ->
('a, 'b, 'c) Bigarray.Array2.t option ->
int -> int -> ('a, 'b, 'c) Bigarray.Array2.t
val get_rows_mat_tr : string ->
string ->
('a, 'b, 'c) Bigarray.Array2.t ->
int -> int -> [> `N ] -> string -> int option -> int
val get_cols_mat_tr : string ->
string ->
('a, 'b, 'c) Bigarray.Array2.t ->
int -> int -> [> `N ] -> string -> int option -> int
val get_inner_dim : string ->
string ->
('a, 'b, 'c) Bigarray.Array2.t ->
int ->
int ->
[> `N ] ->
string ->
('d, 'e, 'f) Bigarray.Array2.t ->
int -> int -> [> `N ] -> string -> int option -> int
val gemm_get_params : string ->
(int -> int -> ('a, 'b, 'c) Bigarray.Array2.t) ->
int ->
int ->
('d, 'e, 'f) Bigarray.Array2.t ->
[< `C | `N | `T > `N ] ->
int ->
int ->
('g, 'h, 'i) Bigarray.Array2.t ->
int ->
[< `C | `N | `T > `N ] ->
int ->
('a, 'b, 'c) Bigarray.Array2.t option ->
int option ->
int option ->
int option -> int * int * int * char * char * ('a, 'b, 'c) Bigarray.Array2.t
val check_mat_square : string ->
string -> ('a, 'b, 'c) Bigarray.Array2.t -> int -> int -> int -> unit
val symm_get_params : string ->
(int -> int -> ('a, 'b, 'c) Bigarray.Array2.t) ->
int ->
int ->
('d, 'e, 'f) Bigarray.Array2.t ->
int ->
int ->
('g, 'h, 'i) Bigarray.Array2.t ->
int ->
int ->
('a, 'b, 'c) Bigarray.Array2.t option ->
int option ->
int option ->
[< `L | `R > `L ] ->
bool -> int * int * char * char * ('a, 'b, 'c) Bigarray.Array2.t
val trXm_get_params : string ->
int ->
int ->
('a, 'b, 'c) Bigarray.Array2.t ->
int ->
int ->
('d, 'e, 'f) Bigarray.Array2.t ->
int option ->
int option ->
[< `L | `R > `L ] ->
bool ->
[< `C | `N | `T ] -> [< `N | `U ] -> int * int * char * char * char * char
val syrk_get_params : string ->
(int -> int -> ('a, 'b, 'c) Bigarray.Array2.t) ->
int ->
int ->
('d, 'e, 'f) Bigarray.Array2.t ->
int ->
int ->
('a, 'b, 'c) Bigarray.Array2.t option ->
int option ->
int option ->
bool ->
[< `C | `N | `T > `N ] ->
int * int * char * char * ('a, 'b, 'c) Bigarray.Array2.t
val syr2k_get_params : string ->
(int -> int -> ('a, 'b, 'c) Bigarray.Array2.t) ->
int ->
int ->
('d, 'e, 'f) Bigarray.Array2.t ->
int ->
int ->
('g, 'h, 'i) Bigarray.Array2.t ->
int ->
int ->
('a, 'b, 'c) Bigarray.Array2.t option ->
int option ->
int option ->
bool ->
[< `C | `N | `T > `N ] ->
int * int * char * char * ('a, 'b, 'c) Bigarray.Array2.t
val xlange_get_params : string ->
int option ->
int option -> int -> int -> ('a, 'b, 'c) Bigarray.Array2.t -> int * int
val xxtrs_get_params : string ->
int ->
int ->
('a, 'b, 'c) Bigarray.Array2.t ->
int option ->
int -> int -> ('d, 'e, 'f) Bigarray.Array2.t -> int option -> int * int
val xxtrs_err : string ->
int ->
int ->
('a, 'b, 'c) Bigarray.Array2.t -> ('d, 'e, 'f) Bigarray.Array2.t -> int -> 'g
val xxtri_singular_err : string -> int -> 'a
val xxtri_err : string -> int -> ('a, 'b, 'c) Bigarray.Array2.t -> int -> 'd
val xxcon_err : string -> int -> ('a, 'b, 'c) Bigarray.Array2.t -> int -> 'd
val geXrf_get_params : string ->
int option ->
int option -> int -> int -> ('a, 'b, 'c) Bigarray.Array2.t -> int * int
val getrf_err : string -> int -> int -> ('a, 'b, 'c) Bigarray.Array2.t -> int -> 'd
val getrf_lu_err : string -> int -> 'a
val getrf_get_ipiv : string ->
(int32, Stdlib.Bigarray.int32_elt, Stdlib.Bigarray.fortran_layout)
Bigarray.Array1.t option -> int -> int -> Lacaml__common.int32_vec
val sytrf_get_ipiv : string ->
(int32, Stdlib.Bigarray.int32_elt, Stdlib.Bigarray.fortran_layout)
Bigarray.Array1.t option -> int -> Lacaml__common.int32_vec
val sytrf_err : string -> int -> ('a, 'b, 'c) Bigarray.Array2.t -> int -> 'd
val sytrf_fact_err : string -> int -> 'a
val potrf_chol_err : string -> int -> 'a
val potrf_err : string -> int -> ('a, 'b, 'c) Bigarray.Array2.t -> int -> 'd
val potrs_err : string ->
int ->
int ->
('a, 'b, 'c) Bigarray.Array2.t -> ('d, 'e, 'f) Bigarray.Array2.t -> int -> 'g
val trtrs_err : string ->
int ->
int ->
('a, 'b, 'c) Bigarray.Array2.t -> ('d, 'e, 'f) Bigarray.Array2.t -> int -> 'g
val tbtrs_err : string ->
int ->
int ->
int ->
('a, 'b, 'c) Bigarray.Array2.t -> ('d, 'e, 'f) Bigarray.Array2.t -> int -> 'g
val getri_err : string ->
(int -> int) -> int -> ('a, 'b, 'c) Bigarray.Array2.t -> int -> int -> 'd
val trtri_err : string -> int -> ('a, 'b, 'c) Bigarray.Array2.t -> int -> 'd
val geqrf_err : string -> int -> int -> ('a, 'b, 'c) Bigarray.Array2.t -> int -> 'd
val gecon_err : string -> char -> int -> ('a, 'b, 'c) Bigarray.Array2.t -> int -> 'd
val gees_err : string -> int -> int -> char -> char -> 'a
val dummy_select_fun : 'a -> bool
val gees_get_params_generic : string ->
(int -> int -> ('a, 'b, 'c) Bigarray.Array2.t) ->
('a, 'b, 'c) Bigarray.Array2.t ->
[< `Compute_Schur_vectors | `No_Schur_vectors ] ->
[< `No_sort
| `Select_custom of 'd -> bool
| `Select_exterior_disk
| `Select_interior_disk
| `Select_left_plane
| `Select_right_plane ] ->
int option ->
int ->
int ->
('e, 'f, 'g) Bigarray.Array2.t ->
int ->
int ->
('a, 'b, 'c) Bigarray.Array2.t option ->
char * char * int * ('d -> bool) * int * ('a, 'b, 'c) Bigarray.Array2.t
val gees_get_params_real : string ->
(int -> ('a, 'b, 'c) Bigarray.Array1.t) ->
(int -> int -> ('d, 'e, 'f) Bigarray.Array2.t) ->
('d, 'e, 'f) Bigarray.Array2.t ->
[< `Compute_Schur_vectors | `No_Schur_vectors ] ->
[< `No_sort
| `Select_custom of 'g -> bool
| `Select_exterior_disk
| `Select_interior_disk
| `Select_left_plane
| `Select_right_plane ] ->
int option ->
int ->
int ->
('h, 'i, 'j) Bigarray.Array2.t ->
('a, 'b, 'c) Bigarray.Array1.t option ->
('a, 'b, 'c) Bigarray.Array1.t option ->
int ->
int ->
('d, 'e, 'f) Bigarray.Array2.t option ->
char * char * int * ('g -> bool) * int * ('d, 'e, 'f) Bigarray.Array2.t *
('a, 'b, 'c) Bigarray.Array1.t * ('a, 'b, 'c) Bigarray.Array1.t
val gees_get_params_complex : string ->
(int -> ('a, 'b, 'c) Bigarray.Array1.t) ->
(int -> int -> ('d, 'e, 'f) Bigarray.Array2.t) ->
('d, 'e, 'f) Bigarray.Array2.t ->
[< `Compute_Schur_vectors | `No_Schur_vectors ] ->
[< `No_sort
| `Select_custom of 'g -> bool
| `Select_exterior_disk
| `Select_interior_disk
| `Select_left_plane
| `Select_right_plane ] ->
int option ->
int ->
int ->
('h, 'i, 'j) Bigarray.Array2.t ->
('a, 'b, 'c) Bigarray.Array1.t option ->
int ->
int ->
('d, 'e, 'f) Bigarray.Array2.t option ->
char * char * int * ('g -> bool) * int * ('d, 'e, 'f) Bigarray.Array2.t *
('a, 'b, 'c) Bigarray.Array1.t
val gesvd_err : string ->
char ->
char ->
int ->
int ->
('a, 'b, 'c) Bigarray.Array2.t ->
('d, 'e, 'f) Bigarray.Array2.t ->
('g, 'h, 'i) Bigarray.Array2.t -> int -> int -> 'j
val gesvd_get_params : string ->
(int -> ('a, 'b, 'c) Bigarray.Array1.t) ->
(int -> int -> ('d, 'e, 'f) Bigarray.Array2.t) ->
[< `A | `N | `O | `S ] ->
[< `A | `N | `O | `S ] ->
int option ->
int option ->
int ->
int ->
('g, 'h, 'i) Bigarray.Array2.t ->
('a, 'b, 'c) Bigarray.Array1.t option ->
int ->
int ->
('d, 'e, 'f) Bigarray.Array2.t option ->
int ->
int ->
('d, 'e, 'f) Bigarray.Array2.t option ->
char * char * int * int * ('a, 'b, 'c) Bigarray.Array1.t *
('d, 'e, 'f) Bigarray.Array2.t * ('d, 'e, 'f) Bigarray.Array2.t
val gesdd_err : string ->
char ->
int ->
int ->
('a, 'b, 'c) Bigarray.Array2.t ->
('d, 'e, 'f) Bigarray.Array2.t ->
('g, 'h, 'i) Bigarray.Array2.t -> int -> int -> 'j
val gesdd_get_params : string ->
(int -> ('a, 'b, 'c) Bigarray.Array1.t) ->
(int -> int -> ('d, 'e, 'f) Bigarray.Array2.t) ->
[< `A | `N | `O | `S ] ->
int option ->
int option ->
int ->
int ->
('g, 'h, 'i) Bigarray.Array2.t ->
('a, 'b, 'c) Bigarray.Array1.t option ->
int ->
int ->
('d, 'e, 'f) Bigarray.Array2.t option ->
int ->
int ->
('d, 'e, 'f) Bigarray.Array2.t option ->
char * int * int * ('a, 'b, 'c) Bigarray.Array1.t *
('d, 'e, 'f) Bigarray.Array2.t * ('d, 'e, 'f) Bigarray.Array2.t
val xxsv_err : string -> int -> int -> ('a, 'b, 'c) Bigarray.Array2.t -> int -> 'd
val xxsv_lu_err : string -> int -> 'a
val xxsv_pos_err : string -> int -> 'a
val xxsv_ind_err : string -> int -> 'a
val xxsv_a_err : string -> ('a, 'b, 'c) Bigarray.Array2.t -> int -> 'd
val xxsv_work_err : string -> int -> 'a
val xxsv_get_ipiv : string ->
(int32, Stdlib.Bigarray.int32_elt, Stdlib.Bigarray.fortran_layout)
Bigarray.Array1.t option -> int -> Lacaml__common.int32_vec
val xxsv_get_params : string ->
int ->
int ->
('a, 'b, 'c) Bigarray.Array2.t ->
int option ->
int -> int -> ('d, 'e, 'f) Bigarray.Array2.t -> int option -> int * int