package alt-ergo-lib

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module ZarithNumbers.QSource

Rationals implementation. Based on Zarith's rationals *

Sourcemodule Z = Z
Sourcetype t
Sourceexception Not_a_float
Sourceval num : t -> Z.t
Sourceval den : t -> Z.t
Sourceval zero : t
Sourceval one : t
Sourceval m_one : t
Sourceval compare : t -> t -> int
Sourceval compare_to_0 : t -> int
Sourceval equal : t -> t -> bool
Sourceval sign : t -> int
Sourceval hash : t -> int
Sourceval is_zero : t -> bool
Sourceval is_one : t -> bool
Sourceval is_m_one : t -> bool
Sourceval is_int : t -> bool
Sourceval add : t -> t -> t
Sourceval sub : t -> t -> t
Sourceval mult : t -> t -> t
Sourceval div : t -> t -> t
Sourceval minus : t -> t
Sourceval abs : t -> t
Sourceval min : t -> t -> t
Sourceval max : t -> t -> t
Sourceval inv : t -> t
Sourceval modulo : t -> t -> t
Sourceval from_float : float -> t
Sourceval from_int : int -> t
Sourceval from_z : Z.t -> t
Sourceval from_zz : Z.t -> Z.t -> t
Sourceval from_string : string -> t
Sourceval to_float : t -> float
Sourceval to_z : t -> Z.t
Sourceval to_string : t -> string
Sourceval print : Format.formatter -> t -> unit
Sourceval power : t -> int -> t
Sourceval floor : t -> t
Sourceval ceiling : t -> t
Sourceval truncate : t -> Z.t

converts the argument to an integer by truncation. *

Sourceval mult_2exp : t -> int -> t

multiplies the first argument by 2^(the second argument)

Sourceval div_2exp : t -> int -> t

divides the first argument by 2^(the second argument)

OCaml

Innovation. Community. Security.