package ocplib-simplex

  1. Overview
  2. Docs

Interface required for coefs

type t

type of rationnal numbers

val zero : t
val one : t
val m_one : t
val sign : t -> int
val compare : t -> t -> int
val equal : t -> t -> bool
val is_zero : t -> bool
val is_one : t -> bool
val is_m_one : t -> bool
val add : t -> t -> t
val sub : t -> t -> t
val div : t -> t -> t
val mult : t -> t -> t
val abs : t -> t
val is_int : t -> bool
val print : Format.formatter -> t -> unit
val to_string : t -> string
val min : t -> t -> t
val minus : t -> t
OCaml

Innovation. Community. Security.