module Arith_status: sig
.. end
有理数算術を制御するフラグ
val arith_status : unit -> unit
現在の算術フラグの状態を印字します。
val get_error_when_null_denominator : unit -> bool
val set_error_when_null_denominator : bool -> unit
null_denominator
フラグを取得または設定します。
このフラグが true
の場合には、分母が 0 の有理数を作ろうとすると例外が発生します。
false
の場合には分母として 0 を受け付けます。初期値: true
val get_normalize_ratio : unit -> bool
val set_normalize_ratio : bool -> unit
normalize_ratio
フラグを取得または設定します。
このフラグが true
の場合には、各演算の度に有理数を約分します。
false
の場合には表示するときまで約分しません。
初期値: false
val get_normalize_ratio_when_printing : unit -> bool
val set_normalize_ratio_when_printing : bool -> unit
normalize_ratio_when_printing
フラグを取得または設定します。
このフラグが true
の場合には、表示する前に有理数を約分します。
false
の場合には約分せずにそのまま表示します。
初期値: true
val get_approx_printing : unit -> bool
val set_approx_printing : bool -> unit
approx_printing
フラグを取得または設定します。
このフラグが true
の場合には、有理数を十進の近似値で表示します。
false
の場合には有理数を分数として表示します。
初期値: false
val get_floating_precision : unit -> int
val set_floating_precision : int -> unit
floating_precision
パラメータを取得または設定します。
このパラメータは approx_printing
が true
の時に表示される小数点以下の桁数です。
初期値: 12