Linalg (owl-base.Owl_neural_compiler.Make.Engine.Graph.Optimiser.Operator.Linalg)

val inv : Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr

val logdet : Symbol.Shape.Type.arr -> Symbol.Shape.Type.elt

val chol : ?upper:bool -> Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr

val qr : Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr * Symbol.Shape.Type.arr

val lq : Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr * Symbol.Shape.Type.arr

val svd : 
  ?thin:bool ->
  Symbol.Shape.Type.arr ->
  Symbol.Shape.Type.arr * Symbol.Shape.Type.arr * Symbol.Shape.Type.arr

val sylvester : 
  Symbol.Shape.Type.arr ->
  Symbol.Shape.Type.arr ->
  Symbol.Shape.Type.arr ->
  Symbol.Shape.Type.arr

val lyapunov : 
  Symbol.Shape.Type.arr ->
  Symbol.Shape.Type.arr ->
  Symbol.Shape.Type.arr

val discrete_lyapunov : 
  ?solver:[ `bilinear | `default | `direct ] ->
  Symbol.Shape.Type.arr ->
  Symbol.Shape.Type.arr ->
  Symbol.Shape.Type.arr

val linsolve : 
  ?trans:bool ->
  ?typ:[ `l | `n | `u ] ->
  Symbol.Shape.Type.arr ->
  Symbol.Shape.Type.arr ->
  Symbol.Shape.Type.arr

val care : 
  ?diag_r:bool ->
  Symbol.Shape.Type.arr ->
  Symbol.Shape.Type.arr ->
  Symbol.Shape.Type.arr ->
  Symbol.Shape.Type.arr ->
  Symbol.Shape.Type.arr

val dare : 
  ?diag_r:bool ->
  Symbol.Shape.Type.arr ->
  Symbol.Shape.Type.arr ->
  Symbol.Shape.Type.arr ->
  Symbol.Shape.Type.arr ->
  Symbol.Shape.Type.arr