1 files changed, 100 insertions, 0 deletions
diff --git a/ocaml-binary-annot/otherlibs/num/arith_status.ml b/ocaml-binary-annot/otherlibs/num/arith_status.ml
new file mode 100644
index 0000000000..8b6fa9f727
--- /dev/null
+++ b/ocaml-binary-annot/otherlibs/num/arith_status.ml
@@ -0,0 +1,100 @@
+(***********************************************************************)
+(*                                                                     *)
+(*                           Objective Caml                            *)
+(*                                                                     *)
+(*    Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt     *)
+(*                                                                     *)
+(*  Copyright 1996 Institut National de Recherche en Informatique et   *)
+(*  en Automatique.  All rights reserved.  This file is distributed    *)
+(*  under the terms of the GNU Library General Public License, with    *)
+(*  the special exception on linking described in file ../../LICENSE.  *)
+(*                                                                     *)
+(***********************************************************************)
+
+(* $Id$ *)
+
+open Arith_flags;;
+
+let get_error_when_null_denominator () =
+  !error_when_null_denominator_flag
+and set_error_when_null_denominator choice =
+ error_when_null_denominator_flag := choice;;
+
+let get_normalize_ratio () = !normalize_ratio_flag
+and set_normalize_ratio choice = normalize_ratio_flag := choice;;
+
+let get_normalize_ratio_when_printing () =
+  !normalize_ratio_when_printing_flag
+and set_normalize_ratio_when_printing choice =
+ normalize_ratio_when_printing_flag := choice;;
+
+let get_floating_precision () = !floating_precision
+and set_floating_precision i = floating_precision := i;;
+
+let get_approx_printing () = !approx_printing_flag
+and set_approx_printing b = approx_printing_flag := b;;
+
+let arith_print_string s = print_string s; print_string " --> ";;
+
+let arith_print_bool = function
+  true -> print_string "ON"
+| _ -> print_string "OFF"
+;;
+
+let arith_status () =
+  print_newline ();
+
+  arith_print_string
+  "Normalization during computation";
+  arith_print_bool (get_normalize_ratio ());
+  print_newline ();
+  print_string "     (returned by get_normalize_ratio ())";
+  print_newline ();
+  print_string "     (modifiable with set_normalize_ratio <your choice>)";
+  print_newline ();
+  print_newline ();
+
+  arith_print_string
+  "Normalization when printing";
+  arith_print_bool (get_normalize_ratio_when_printing ());
+  print_newline ();
+  print_string
+  "     (returned by get_normalize_ratio_when_printing ())";
+  print_newline ();
+  print_string
+  "     (modifiable with set_normalize_ratio_when_printing <your choice>)";
+  print_newline ();
+  print_newline ();
+
+  arith_print_string
+  "Floating point approximation when printing rational numbers";
+  arith_print_bool (get_approx_printing ());
+  print_newline ();
+  print_string
+  "     (returned by get_approx_printing ())";
+  print_newline ();
+  print_string
+  "     (modifiable with set_approx_printing <your choice>)";
+  print_newline ();
+  (if (get_approx_printing ())
+      then (print_string "  Default precision = ";
+            print_int (get_floating_precision ());
+            print_newline ();
+            print_string "     (returned by get_floating_precision ())";
+            print_newline ();
+            print_string
+              "     (modifiable with set_floating_precision <your choice>)";
+            print_newline ();
+            print_newline ())
+      else print_newline());
+
+  arith_print_string
+  "Error when a rational denominator is null";
+  arith_print_bool (get_error_when_null_denominator ());
+  print_newline ();
+  print_string "     (returned by get_error_when_null_denominator ())";
+  print_newline ();
+  print_string
+  "     (modifiable with set_error_when_null_denominator <your choice>)";
+  print_newline ()
+;;