From 678bb5c2500be0071117600f23e5a557c39fb403 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Thu, 9 Nov 2017 21:43:45 +0100 Subject: Added some functions --- dataType.ml | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'dataType.ml') diff --git a/dataType.ml b/dataType.ml index 8e5ead0..b5e077e 100755 --- a/dataType.ml +++ b/dataType.ml @@ -38,6 +38,11 @@ module Num = struct and den = Q.den t in Q.of_bigint @@ Z.fdiv num den + let round_down t = + let num = Q.num t + and den = Q.den t in + Q.of_bigint @@ Z.div num den + let ge = Q.geq let ge = Q.geq -- cgit v1.2.3