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