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