val chol : ?upper:bool -> 'a -> 'b
val svd : ?thin:bool -> 'a -> 'b
val sylvester : 'a -> 'b -> 'c -> 'd
val lyapunov : 'a -> 'b -> 'c
val discrete_lyapunov : ?solver:[> `default ] -> 'a -> 'b -> 'c
val linsolve : ?trans:'a -> ?typ:[> `n ] -> 'b -> 'c -> 'd
val care : ?diag_r:bool -> 'a -> 'b -> 'c -> 'd -> 'e
val dare : ?diag_r:bool -> 'a -> 'b -> 'c -> 'd -> 'e