package lacaml

  1. Overview
  2. Docs

Module Lacaml_utilsSource

General auxiliary functions

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

Preallocated strings (names)

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

Range checking

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

raise_var_lt0 ~loc ~name var

  • raises an

    invalid argument that integer variable var with name name at location loc is lower than 0.

Sourceval 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.

  • raises an

    invalid argument in that case.

Sourceval 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

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

calc_vec_min_dim ~n ~ofs ~inc

  • returns

    minimum vector dimension given offset ofs, increment inc, and operation size n for a vector.

Sourceval 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

  • raises an

    invalid argument that dimension dim of a vector with name vec_name exceeds the minimum min_dim at location loc.

Sourceval 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.

  • raises an

    invalid argument otherwise.

Sourceval raise_bad_ofs : loc:string -> name:string -> ofs_name:string -> ofs:int -> max_ofs:int -> 'a

raise_bad_ofs ~loc ~name ~ofs_name ~ofs ~max_ofs

  • raises an

    invalid argument that an offset ofs named ofs_name for a value having name is invalid (i.e. is outside of 1..max_ofs).

Sourceval 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

  • raises an

    invalid argument that vector offset ofs is invalid (i.e. is outside of 1..max_ofs).

Sourceval 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).

  • raises an

    invalid argument in that case.

Sourceval 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).

  • raises an

    invalid argument in that case.

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

calc_vec_max_n ~dim ~ofs ~inc

  • returns

    maximum operation length n for a vector given the dimension dim of the vector, the offset ofs, and increment inc. Assumes that the offset has already been validated to not exceed dim, i.e. the returned max_n is at least 1.

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

calc_vec_opt_max_n ?ofs ?inc dim

  • returns

    maximum operation length n for a vector given the dimension dim of the vector, the optional offset ofs, and optional increment inc. Assumes that the offset has already been validated to not exceed dim, i.e. the returned max_n is at least 1.

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

raise_max_len ~loc ~len_name ~len ~max_len

  • raises an

    invalid argument that the maximum operation size (e.g. m or n for vectors and matrices) has been exceeded.

Sourceval 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.

  • raises an

    invalid argument if any arguments are invalid.

Sourceval 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.

  • raises an

    invalid argument if any arguments are invalid.

Sourceval 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

  • returns

    minimum vector dimension given offset ofs, increment inc, and operation size n for a vector named vec_name at location loc.

    @raise an

    invalid argument if any of the parameters are illegal.

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

get_vec_start_stop ~ofsx ~incx ~n

  • returns

    (start, stop) where start and stop reflect the start and stop of an iteration respectively.

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

Sourceval 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

  • raises an

    invalid argument that matrix row offset r is invalid (i.e. is outside of 1..max_r).

Sourceval 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

  • raises an

    invalid argument that matrix column offset c is invalid (i.e. is outside of 1..max_c).

Sourceval 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).

  • raises an

    invalid argument in that case.

Sourceval 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).

  • raises an

    invalid argument in that case.

Sourceval calc_mat_max_rows : dim1:int -> r:int -> int

calc_mat_max_rows ~dim1 ~r

  • returns

    maximum row operation length m for a matrix given the dimension dim1 of the matrix and the start row r.

Sourceval calc_mat_opt_max_rows : ?r:int -> int -> int

calc_mat_opt_max_rows ?r dim1

  • returns

    maximum row operation length m for a matrix given the dimension dim1 of the matrix and the optional start row r. Assumes that the offset has already been validated to not exceed dim1, i.e. the returned max_m is at least 1.

Sourceval calc_mat_max_cols : dim2:int -> c:int -> int

calc_mat_max_cols ~dim2 ~c

  • returns

    maximum column operation length n for a matrix given the dimension dim1 of the matrix and the start column c.

Sourceval calc_mat_opt_max_cols : ?c:int -> int -> int

calc_mat_opt_max_cols ?c dim1

  • returns

    maximum column operation length m for a matrix given the dimension dim2 of the matrix and the optional start column c. Assumes that the offset has already been validated to not exceed dim2, i.e. the returned max_n is at least 1.

Sourceval 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.

  • raises an

    invalid argument if any arguments are invalid.

Sourceval 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.

  • raises an

    invalid argument if any arguments are invalid.

Sourceval 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.

  • raises an

    invalid argument if any arguments are invalid.

Sourceval 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.

  • raises an

    invalid argument if any arguments are invalid.

Sourceval 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.

  • raises an

    invalid argument if any arguments are invalid.

Sourceval 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.

  • raises an

    invalid argument if any arguments are invalid.

Sourceval 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.

  • raises an

    invalid argument if any arguments are invalid.

Sourceval 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.

  • raises an

    invalid argument if any arguments are invalid.

Sourceval 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.

  • raises an

    invalid argument if any arguments are invalid.

Sourceval 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.

  • raises an

    invalid argument if any arguments are invalid.

Sourceval 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.

  • raises an

    invalid argument if any arguments are invalid.

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

get_mat_min_dim1 ~loc ~mat_name ~r ~m

  • returns

    the minimum row dimension of a matrix with name mat_name at location loc given row r and row operation length m.

    @raise an

    invalid argument if any arguments are invalid.

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

get_mat_min_dim2 ~loc ~mat_name ~c ~n

  • returns

    the minimum column dimension of a matrix with name mat_name at location loc given column c and row operation length n.

    @raise an

    invalid argument if any arguments are invalid.

Sourceval 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.

  • raises an

    invalid argument if any arguments are invalid.

Sourceval 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.

  • raises an

    invalid argument if any arguments are invalid.

Sourceval 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.

  • raises an

    invalid argument if any arguments are invalid.

(Old) Vector checking and allocation functions

Sourceval check_vec : string -> string -> ('a, 'b, 'c) Bigarray.Array1.t -> int -> unit
Sourceval 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.

Sourceval 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
Sourceval 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.

(Old) Matrix checking and allocation functions

Sourceval 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
Sourceval check_dim1_mat : string -> string -> ('a, 'b, 'c) Bigarray.Array2.t -> int -> string -> int -> unit
Sourceval check_dim2_mat : string -> string -> ('a, 'b, 'c) Bigarray.Array2.t -> int -> string -> int -> unit
Sourceval check_dim_mat : string -> string -> int -> int -> ('a, 'b, 'c) Bigarray.Array2.t -> int -> int -> unit
Sourceval get_dim1_mat : string -> string -> ('a, 'b, 'c) Bigarray.Array2.t -> int -> string -> int option -> int
Sourceval get_dim2_mat : string -> string -> ('a, 'b, 'c) Bigarray.Array2.t -> int -> string -> int option -> int
Sourceval get_vec_inc : string -> string -> int option -> int
Sourceval get_vec_ofs : string -> string -> int option -> int
Sourceval ilaenv : int -> string -> string -> int -> int -> int -> int -> int
Sourceval 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
Sourceval calc_unpacked_dim : string -> int -> int
Sourceval get_unpacked_dim : string -> ?n:int -> int -> int
Sourceval get_vec_geom : string -> string -> int option -> int option -> int * int
Sourceval get_k_mat_sb : string -> string -> ('a, 'b, 'c) Bigarray.Array2.t -> int -> string -> int option -> int
Sourceval get_dim_mat_packed : string -> string -> int -> ('a, 'b, 'c) Bigarray.Array1.t -> string -> int option -> int
Sourceval get_n_of_square : string -> string -> int -> int -> ('a, 'b, 'c) Bigarray.Array2.t -> int option -> int
Sourceval get_n_of_a : string -> int -> int -> ('a, 'b, 'c) Bigarray.Array2.t -> int option -> int
Sourceval get_nrhs_of_b : string -> int -> int -> int -> ('a, 'b, 'c) Bigarray.Array2.t -> int option -> int
Sourceval 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
Sourceval 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
Sourceval 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
Sourceval 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
Sourceval 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
Sourceval 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
Sourceval 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
Sourceval xxev_get_params : string -> int -> int -> ('a, 'b, 'c) Bigarray.Array2.t -> int option -> bool -> bool -> int * char * char
Sourceval 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
Sourceval 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
Sourceval 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
Sourceval 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
Sourceval 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
Sourceval 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
Sourceval 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
Sourceval 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
Sourceval get_rows_mat_tr : string -> string -> ('a, 'b, 'c) Bigarray.Array2.t -> int -> int -> [> `N ] -> string -> int option -> int
Sourceval get_cols_mat_tr : string -> string -> ('a, 'b, 'c) Bigarray.Array2.t -> int -> int -> [> `N ] -> string -> int option -> int
Sourceval 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
Sourceval 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
Sourceval check_mat_square : string -> string -> ('a, 'b, 'c) Bigarray.Array2.t -> int -> int -> int -> unit
Sourceval 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
Sourceval 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
Sourceval 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
Sourceval 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
Sourceval xlange_get_params : string -> int option -> int option -> int -> int -> ('a, 'b, 'c) Bigarray.Array2.t -> int * int
Sourceval 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
Sourceval xxtrs_err : string -> int -> int -> ('a, 'b, 'c) Bigarray.Array2.t -> ('d, 'e, 'f) Bigarray.Array2.t -> int -> 'g
Sourceval xxtri_singular_err : string -> int -> 'a
Sourceval xxtri_err : string -> int -> ('a, 'b, 'c) Bigarray.Array2.t -> int -> 'd
Sourceval xxcon_err : string -> int -> ('a, 'b, 'c) Bigarray.Array2.t -> int -> 'd
Sourceval geXrf_get_params : string -> int option -> int option -> int -> int -> ('a, 'b, 'c) Bigarray.Array2.t -> int * int
Sourceval getrf_err : string -> int -> int -> ('a, 'b, 'c) Bigarray.Array2.t -> int -> 'd
Sourceval getrf_lu_err : string -> int -> 'a
Sourceval getrf_get_ipiv : string -> (int32, Bigarray.int32_elt, Bigarray.fortran_layout) Bigarray.Array1.t option -> int -> int -> Lacaml_common.int32_vec
Sourceval sytrf_get_ipiv : string -> (int32, Bigarray.int32_elt, Bigarray.fortran_layout) Bigarray.Array1.t option -> int -> Lacaml_common.int32_vec
Sourceval sytrf_err : string -> int -> ('a, 'b, 'c) Bigarray.Array2.t -> int -> 'd
Sourceval sytrf_fact_err : string -> int -> 'a
Sourceval potrf_chol_err : string -> int -> 'a
Sourceval potrf_err : string -> int -> ('a, 'b, 'c) Bigarray.Array2.t -> int -> 'd
Sourceval potrs_err : string -> int -> int -> ('a, 'b, 'c) Bigarray.Array2.t -> ('d, 'e, 'f) Bigarray.Array2.t -> int -> 'g
Sourceval trtrs_err : string -> int -> int -> ('a, 'b, 'c) Bigarray.Array2.t -> ('d, 'e, 'f) Bigarray.Array2.t -> int -> 'g
Sourceval tbtrs_err : string -> int -> int -> int -> ('a, 'b, 'c) Bigarray.Array2.t -> ('d, 'e, 'f) Bigarray.Array2.t -> int -> 'g
Sourceval getri_err : string -> (int -> int) -> int -> ('a, 'b, 'c) Bigarray.Array2.t -> int -> int -> 'd
Sourceval trtri_err : string -> int -> ('a, 'b, 'c) Bigarray.Array2.t -> int -> 'd
Sourceval gecon_err : string -> char -> int -> ('a, 'b, 'c) Bigarray.Array2.t -> int -> 'd
Sourceval gees_err : string -> int -> int -> char -> char -> 'a
Sourceval dummy_select_fun : 'a -> bool
Sourceval 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
Sourceval 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
Sourceval 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
Sourceval 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
Sourceval 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
Sourceval 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
Sourceval 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
Sourceval xxsv_err : string -> int -> int -> ('a, 'b, 'c) Bigarray.Array2.t -> int -> 'd
Sourceval xxsv_lu_err : string -> int -> 'a
Sourceval xxsv_pos_err : string -> int -> 'a
Sourceval xxsv_ind_err : string -> int -> 'a
Sourceval xxsv_a_err : string -> ('a, 'b, 'c) Bigarray.Array2.t -> int -> 'd
Sourceval xxsv_work_err : string -> int -> 'a
Sourceval xxsv_get_ipiv : string -> (int32, Bigarray.int32_elt, Bigarray.fortran_layout) Bigarray.Array1.t option -> int -> Lacaml_common.int32_vec
Sourceval 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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct