val chol : ?upper:bool -> t -> t
val svd : ?thin:bool -> t -> t * t * t
val sylvester : t -> t -> t -> t
val lyapunov : t -> t -> t
val discrete_lyapunov :
?solver:[ `bilinear | `default | `direct ] ->
t ->
t ->
t
val linsolve : ?trans:bool -> ?typ:[ `l | `n | `u ] -> t -> t -> t
val care : ?diag_r:bool -> t -> t -> t -> t -> t
val dare : ?diag_r:bool -> t -> t -> t -> t -> t