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