Module Arith_status


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_printingtrue の時に表示される小数点以下の桁数です。 初期値: 12