package owl-symbolic
-
owl-symbolic
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val inv : Symbol.Shape.Type.arr -> Symbol.Shape.Type.arrTODO
val logdet : Symbol.Shape.Type.arr -> Symbol.Shape.Type.eltTODO
val chol : ?upper:bool -> Symbol.Shape.Type.arr -> Symbol.Shape.Type.arrTODO
val qr : Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr * Symbol.Shape.Type.arrTODO
val lq : Symbol.Shape.Type.arr -> Symbol.Shape.Type.arr * Symbol.Shape.Type.arrTODO
val svd :
?thin:bool ->
Symbol.Shape.Type.arr ->
Symbol.Shape.Type.arr * Symbol.Shape.Type.arr * Symbol.Shape.Type.arrTODO
val sylvester :
Symbol.Shape.Type.arr ->
Symbol.Shape.Type.arr ->
Symbol.Shape.Type.arr ->
Symbol.Shape.Type.arrTODO
val lyapunov :
Symbol.Shape.Type.arr ->
Symbol.Shape.Type.arr ->
Symbol.Shape.Type.arrTODO
val discrete_lyapunov :
?solver:[ `default | `bilinear | `direct ] ->
Symbol.Shape.Type.arr ->
Symbol.Shape.Type.arr ->
Symbol.Shape.Type.arrTODO
val linsolve :
?trans:bool ->
?typ:[ `n | `u | `l ] ->
Symbol.Shape.Type.arr ->
Symbol.Shape.Type.arr ->
Symbol.Shape.Type.arrTODO
val care :
?diag_r:bool ->
Symbol.Shape.Type.arr ->
Symbol.Shape.Type.arr ->
Symbol.Shape.Type.arr ->
Symbol.Shape.Type.arr ->
Symbol.Shape.Type.arrTODO