Module `Fadbad.OrderedB`

Construct a BAD-like module from a module of operators over ordered elements

Parameters

T : OrderedOpS

Signature

type t = Fadbad__Badiff.OrderedBTypeName(T).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
val (<) : t -> t -> bool
val (<=) : t -> t -> bool
val (>) : t -> t -> bool
val (>=) : t -> t -> bool
val min : t -> t -> t
val max : t -> t -> t

type op = Fadbad__Badiff.OrderedBTypeName(T).op = ..

type op += CONST | SCALE of scalar | TRANS of scalar | ADD | SUB | MUL | DIV | POW | POS | NEG | INV | SQR | SQRT | EXP | LOG | SIN | COS | TAN | ASIN | ACOS | 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