package owl-base

  1. Overview
  2. Docs
package owl-base
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Source file owl_base_linalg_intf.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
# 1 "src/base/linalg/owl_base_linalg_intf.ml"
(*
 * OWL - OCaml Scientific and Engineering Computing
 * Copyright (c) 2016-2020 Liang Wang <liang.wang@cl.cam.ac.uk>
 *)

module type Common = sig
  type elt

  type mat

  type complex_mat

  type int32_mat

  (** {6 Basic functions} *)

  val inv : mat -> mat

  val det : mat -> elt

  val logdet : mat -> elt

  val is_triu : mat -> bool

  val is_tril : mat -> bool

  val is_symmetric : mat -> bool

  val is_diag : mat -> bool

  (** {6 Factorisation} *)

  val svd : ?thin:bool -> mat -> mat * mat * mat

  val chol : ?upper:bool -> mat -> mat

  val qr : ?thin:bool -> ?pivot:bool -> mat -> mat * mat * int32_mat

  val lq : ?thin:bool -> mat -> mat * mat

  (** {6 Linear system of equations} *)

  val linsolve : ?trans:bool -> ?typ:[ `n | `u | `l ] -> mat -> mat -> mat

  val sylvester : mat -> mat -> mat -> mat

  val lyapunov : mat -> mat -> mat

  val discrete_lyapunov : ?solver:[ `default | `direct | `bilinear ] -> mat -> mat -> mat
end

module type Real = sig
  type elt

  type mat

  val care : ?diag_r:bool -> mat -> mat -> mat -> mat -> mat
end
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