Module Numerors_arithmetics

module Numerors_arithmetics: sig .. end
Type manipulated by the arithmetics

module I: Numerors_interval
type t = {
   exact : I.t;
   approx : I.t;
   abs_err : I.t;
   rel_err : I.t;
}
Type manipulated by the arithmetics
val pretty : Format.formatter -> t -> unit
Pretty printer
val zero : t -> t
Return a value with all fields to zero. The <approx> field will use the precision of the approx field of the parameter
val prec : t -> Numerors_utils.Precisions.t
Return the precision of the <approx> field
val create : I.t -> I.t -> I.t -> I.t -> t
Create a record from intervals
val apply : (I.t -> I.t -> I.t) ->
t -> t -> t
Apply an operation on each fields of the operands
val change_prec : Numerors_utils.Precisions.t ->
t -> t
Return a new value with the same fields as the input but with an <approx> field with the given precision
val forward_interaction : t -> t
Handling of forward interactions
val join : t -> t -> t
Lattice methods
val narrow : t ->
t -> t Eval.or_bottom
val compare : t -> t -> int
val is_included : t -> t -> bool
module type Arithmetic = sig .. end
Signature of an arithmetic
module Exact: Arithmetic  with type forward = I.t
Modules which implement the previous signature for each field of <t>
module Approx: Arithmetic  with type forward = I.t
module Abs_Err: Arithmetic  with
  type forward = exact:I.t -> approx:I.t -> I.t
module Rel_Err: Arithmetic  with
  type forward = exact:I.t -> abs_err:I.t -> I.t
module Backward_Comparisons: sig .. end
Backward comparisons