Arith_status

# Module Arith_status

    module Arith_status: sig  end

Flags that control rational arithmetic.

    val arith_status : unit -> unit

Print the current status of the arithmetic flags.

    val get_error_when_null_denominator : unit -> bool

See `Arith_status.set_error_when_null_denominator`.

    val set_error_when_null_denominator : bool -> unit

Get or set the flag `null_denominator`. When on, attempting to create a rational with a null denominator raises an exception. When off, rationals with null denominators are accepted. Initially: on.

    val get_normalize_ratio : unit -> bool

See `Arith_status.set_normalize_ratio`.

    val set_normalize_ratio : bool -> unit

Get or set the flag `normalize_ratio`. When on, rational numbers are normalized after each operation. When off, rational numbers are not normalized until printed. Initially: off.

    val get_normalize_ratio_when_printing : unit -> bool

See `Arith_status.set_normalize_ratio_when_printing`.

    val set_normalize_ratio_when_printing : bool -> unit

Get or set the flag `normalize_ratio_when_printing`. When on, rational numbers are normalized before being printed. When off, rational numbers are printed as is, without normalization. Initially: on.

    val get_approx_printing : unit -> bool

See `Arith_status.set_approx_printing`.

    val set_approx_printing : bool -> unit

Get or set the flag `approx_printing`. When on, rational numbers are printed as a decimal approximation. When off, rational numbers are printed as a fraction. Initially: off.

    val get_floating_precision : unit -> int

See `Arith_status.set_floating_precision`.

    val set_floating_precision : int -> unit

Get or set the parameter `floating_precision`. This parameter is the number of digits displayed when `approx_printing` is on. Initially: 12.