package fadbadml

  1. Overview
  2. Docs

Parameters

module T : Types.OpS

Signature

type t
type elt = T.elt
type scalar = T.scalar
val copy : t -> t
val deepcopy : t -> t
val create : unit -> t
val make : elt -> t
val integer : int -> t
val zero : unit -> t
val one : unit -> t
val two : unit -> t
val get : t -> elt
val (!!) : t -> elt
val to_string : t -> string
val string_of_scalar : scalar -> string
val string_of_elt : elt -> string
val (~+) : t -> t
val (~-) : t -> t
val (+) : t -> t -> t
val (+=) : t -> t -> t
val (-) : t -> t -> t
val (-=) : t -> t -> t
val (*) : t -> t -> t
val (*=) : t -> t -> t
val (/) : t -> t -> t
val (/=) : t -> t -> t
val (**) : t -> t -> t
val inv : t -> t
val sqr : t -> t
val sqrt : t -> t
val log : t -> t
val exp : t -> t
val sin : t -> t
val cos : t -> t
val tan : t -> t
val asin : t -> t
val acos : t -> t
val atan : t -> t
val scale : t -> scalar -> t
val translate : t -> scalar -> t
val (=) : t -> t -> bool
val (<>) : t -> t -> bool
type op = ..
type op +=
  1. | CONST
  2. | SCALE of scalar
  3. | TRANS of scalar
  4. | ADD
  5. | SUB
  6. | MUL
  7. | DIV
  8. | POW
  9. | POS
  10. | NEG
  11. | INV
  12. | SQR
  13. | SQRT
  14. | EXP
  15. | LOG
  16. | SIN
  17. | COS
  18. | TAN
  19. | ASIN
  20. | ACOS
  21. | ATAN
val lift : T.t -> t
val value : t -> T.t
val diff : t -> int -> int -> unit
val d : t -> int -> elt
val deriv : t -> int -> T.t
val compute : t -> unit
val compute_list : t list -> unit