<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> <html> <head> <link rel="stylesheet" href="style.css" type="text/css"> <meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type"> <link rel="Start" href="index.html"> <link rel="previous" href="Reins.Types.Big_int.html"> <link rel="next" href="Reins.Types.Complex.html"> <link rel="Up" href="Reins.Types.html"> <link title="Index of types" rel=Appendix href="index_types.html"> <link title="Index of exceptions" rel=Appendix href="index_exceptions.html"> <link title="Index of values" rel=Appendix href="index_values.html"> <link title="Index of modules" rel=Appendix href="index_modules.html"> <link title="Index of module types" rel=Appendix href="index_module_types.html"> <link title="Reins" rel="Chapter" href="Reins.html"><title>Reins.Types.Ratio</title> </head> <body> <div class="navbar"><a href="Reins.Types.Big_int.html">Previous</a> <a href="Reins.Types.html">Up</a> <a href="Reins.Types.Complex.html">Next</a> </div> <center><h1>Module <a href="type_Reins.Types.Ratio.html">Reins.Types.Ratio</a></h1></center> <br> <pre><span class="keyword">module</span> Ratio: <code class="code">sig</code> <a href="Reins.Types.Ratio.html">..</a> <code class="code">end</code></pre><hr width="100%"> <pre><span class="keyword">type</span> <a name="TYPEratio"></a><code class="type"></code>ratio = <code class="type">Ratio.ratio</code> </pre> <pre><span class="keyword">val</span> <a name="VALnull_denominator"></a>null_denominator : <code class="type"><a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> bool</code></pre><pre><span class="keyword">val</span> <a name="VALnumerator_ratio"></a>numerator_ratio : <code class="type"><a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> <a href="Reins.Types.Big_int.html#TYPEbig_int">Reins.Types.Big_int.big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALdenominator_ratio"></a>denominator_ratio : <code class="type"><a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> <a href="Reins.Types.Big_int.html#TYPEbig_int">Reins.Types.Big_int.big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALsign_ratio"></a>sign_ratio : <code class="type"><a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> int</code></pre><pre><span class="keyword">val</span> <a name="VALnormalize_ratio"></a>normalize_ratio : <code class="type"><a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a></code></pre><pre><span class="keyword">val</span> <a name="VALcautious_normalize_ratio"></a>cautious_normalize_ratio : <code class="type"><a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a></code></pre><pre><span class="keyword">val</span> <a name="VALcautious_normalize_ratio_when_printing"></a>cautious_normalize_ratio_when_printing : <code class="type"><a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a></code></pre><pre><span class="keyword">val</span> <a name="VALcreate_ratio"></a>create_ratio : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">Reins.Types.Big_int.big_int</a> -><br> <a href="Reins.Types.Big_int.html#TYPEbig_int">Reins.Types.Big_int.big_int</a> -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a></code></pre><pre><span class="keyword">val</span> <a name="VALcreate_normalized_ratio"></a>create_normalized_ratio : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">Reins.Types.Big_int.big_int</a> -><br> <a href="Reins.Types.Big_int.html#TYPEbig_int">Reins.Types.Big_int.big_int</a> -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a></code></pre><pre><span class="keyword">val</span> <a name="VALis_normalized_ratio"></a>is_normalized_ratio : <code class="type"><a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> bool</code></pre><pre><span class="keyword">val</span> <a name="VALreport_sign_ratio"></a>report_sign_ratio : <code class="type"><a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -><br> <a href="Reins.Types.Big_int.html#TYPEbig_int">Reins.Types.Big_int.big_int</a> -> <a href="Reins.Types.Big_int.html#TYPEbig_int">Reins.Types.Big_int.big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALabs_ratio"></a>abs_ratio : <code class="type"><a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a></code></pre><pre><span class="keyword">val</span> <a name="VALis_integer_ratio"></a>is_integer_ratio : <code class="type"><a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> bool</code></pre><pre><span class="keyword">val</span> <a name="VALadd_ratio"></a>add_ratio : <code class="type"><a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a></code></pre><pre><span class="keyword">val</span> <a name="VALminus_ratio"></a>minus_ratio : <code class="type"><a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a></code></pre><pre><span class="keyword">val</span> <a name="VALadd_int_ratio"></a>add_int_ratio : <code class="type">int -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a></code></pre><pre><span class="keyword">val</span> <a name="VALadd_big_int_ratio"></a>add_big_int_ratio : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">Reins.Types.Big_int.big_int</a> -><br> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a></code></pre><pre><span class="keyword">val</span> <a name="VALsub_ratio"></a>sub_ratio : <code class="type"><a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a></code></pre><pre><span class="keyword">val</span> <a name="VALmult_ratio"></a>mult_ratio : <code class="type"><a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a></code></pre><pre><span class="keyword">val</span> <a name="VALmult_int_ratio"></a>mult_int_ratio : <code class="type">int -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a></code></pre><pre><span class="keyword">val</span> <a name="VALmult_big_int_ratio"></a>mult_big_int_ratio : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">Reins.Types.Big_int.big_int</a> -><br> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a></code></pre><pre><span class="keyword">val</span> <a name="VALsquare_ratio"></a>square_ratio : <code class="type"><a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a></code></pre><pre><span class="keyword">val</span> <a name="VALinverse_ratio"></a>inverse_ratio : <code class="type"><a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a></code></pre><pre><span class="keyword">val</span> <a name="VALdiv_ratio"></a>div_ratio : <code class="type"><a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a></code></pre><pre><span class="keyword">val</span> <a name="VALinteger_ratio"></a>integer_ratio : <code class="type"><a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> <a href="Reins.Types.Big_int.html#TYPEbig_int">Reins.Types.Big_int.big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALfloor_ratio"></a>floor_ratio : <code class="type"><a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> <a href="Reins.Types.Big_int.html#TYPEbig_int">Reins.Types.Big_int.big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALround_ratio"></a>round_ratio : <code class="type"><a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> <a href="Reins.Types.Big_int.html#TYPEbig_int">Reins.Types.Big_int.big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALceiling_ratio"></a>ceiling_ratio : <code class="type"><a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> <a href="Reins.Types.Big_int.html#TYPEbig_int">Reins.Types.Big_int.big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALeq_ratio"></a>eq_ratio : <code class="type"><a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> bool</code></pre><pre><span class="keyword">val</span> <a name="VALcompare_ratio"></a>compare_ratio : <code class="type"><a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> int</code></pre><pre><span class="keyword">val</span> <a name="VALlt_ratio"></a>lt_ratio : <code class="type"><a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> bool</code></pre><pre><span class="keyword">val</span> <a name="VALle_ratio"></a>le_ratio : <code class="type"><a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> bool</code></pre><pre><span class="keyword">val</span> <a name="VALgt_ratio"></a>gt_ratio : <code class="type"><a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> bool</code></pre><pre><span class="keyword">val</span> <a name="VALge_ratio"></a>ge_ratio : <code class="type"><a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> bool</code></pre><pre><span class="keyword">val</span> <a name="VALmax_ratio"></a>max_ratio : <code class="type"><a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a></code></pre><pre><span class="keyword">val</span> <a name="VALmin_ratio"></a>min_ratio : <code class="type"><a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a></code></pre><pre><span class="keyword">val</span> <a name="VALeq_big_int_ratio"></a>eq_big_int_ratio : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">Reins.Types.Big_int.big_int</a> -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> bool</code></pre><pre><span class="keyword">val</span> <a name="VALcompare_big_int_ratio"></a>compare_big_int_ratio : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">Reins.Types.Big_int.big_int</a> -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> int</code></pre><pre><span class="keyword">val</span> <a name="VALlt_big_int_ratio"></a>lt_big_int_ratio : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">Reins.Types.Big_int.big_int</a> -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> bool</code></pre><pre><span class="keyword">val</span> <a name="VALle_big_int_ratio"></a>le_big_int_ratio : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">Reins.Types.Big_int.big_int</a> -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> bool</code></pre><pre><span class="keyword">val</span> <a name="VALgt_big_int_ratio"></a>gt_big_int_ratio : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">Reins.Types.Big_int.big_int</a> -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> bool</code></pre><pre><span class="keyword">val</span> <a name="VALge_big_int_ratio"></a>ge_big_int_ratio : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">Reins.Types.Big_int.big_int</a> -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> bool</code></pre><pre><span class="keyword">val</span> <a name="VALint_of_ratio"></a>int_of_ratio : <code class="type"><a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> int</code></pre><pre><span class="keyword">val</span> <a name="VALratio_of_int"></a>ratio_of_int : <code class="type">int -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a></code></pre><pre><span class="keyword">val</span> <a name="VALratio_of_nat"></a>ratio_of_nat : <code class="type">Nat.nat -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a></code></pre><pre><span class="keyword">val</span> <a name="VALnat_of_ratio"></a>nat_of_ratio : <code class="type"><a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> Nat.nat</code></pre><pre><span class="keyword">val</span> <a name="VALratio_of_big_int"></a>ratio_of_big_int : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">Reins.Types.Big_int.big_int</a> -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a></code></pre><pre><span class="keyword">val</span> <a name="VALbig_int_of_ratio"></a>big_int_of_ratio : <code class="type"><a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> <a href="Reins.Types.Big_int.html#TYPEbig_int">Reins.Types.Big_int.big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALdiv_int_ratio"></a>div_int_ratio : <code class="type">int -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a></code></pre><pre><span class="keyword">val</span> <a name="VALdiv_ratio_int"></a>div_ratio_int : <code class="type"><a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> int -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a></code></pre><pre><span class="keyword">val</span> <a name="VALdiv_big_int_ratio"></a>div_big_int_ratio : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">Reins.Types.Big_int.big_int</a> -><br> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a></code></pre><pre><span class="keyword">val</span> <a name="VALdiv_ratio_big_int"></a>div_ratio_big_int : <code class="type"><a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -><br> <a href="Reins.Types.Big_int.html#TYPEbig_int">Reins.Types.Big_int.big_int</a> -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a></code></pre><pre><span class="keyword">val</span> <a name="VALapprox_ratio_fix"></a>approx_ratio_fix : <code class="type">int -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> string</code></pre><pre><span class="keyword">val</span> <a name="VALapprox_ratio_exp"></a>approx_ratio_exp : <code class="type">int -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> string</code></pre><pre><span class="keyword">val</span> <a name="VALfloat_of_rational_string"></a>float_of_rational_string : <code class="type"><a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> string</code></pre><pre><span class="keyword">val</span> <a name="VALstring_of_ratio"></a>string_of_ratio : <code class="type"><a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> string</code></pre><pre><span class="keyword">val</span> <a name="VALratio_of_string"></a>ratio_of_string : <code class="type">string -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a></code></pre><pre><span class="keyword">val</span> <a name="VALfloat_of_ratio"></a>float_of_ratio : <code class="type"><a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> float</code></pre><pre><span class="keyword">val</span> <a name="VALpower_ratio_positive_int"></a>power_ratio_positive_int : <code class="type"><a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -> int -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a></code></pre><pre><span class="keyword">val</span> <a name="VALpower_ratio_positive_big_int"></a>power_ratio_positive_big_int : <code class="type"><a href="Reins.Types.Ratio.html#TYPEratio">ratio</a> -><br> <a href="Reins.Types.Big_int.html#TYPEbig_int">Reins.Types.Big_int.big_int</a> -> <a href="Reins.Types.Ratio.html#TYPEratio">ratio</a></code></pre><pre><span class="keyword">val</span> <a name="VALequal"></a>equal : <code class="type">'a -> 'a -> bool</code></pre><pre><span class="keyword">val</span> <a name="VALhash"></a>hash : <code class="type">'a -> int</code></pre><pre><span class="keyword">val</span> <a name="VALgen"></a>gen : <code class="type">?size:'a -> Random.State.t -> Ratio.ratio</code></pre></body></html>
