package ocplib-simplex

  1. Overview
  2. Docs

The interface for rationals provided by users.

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 : Stdlib.Format.formatter -> t -> unit
val to_string : t -> string
val min : t -> t -> t
val minus : t -> t
val floor : t -> t
val ceiling : t -> t