Skip to content
Snippets Groups Projects
Commit 4c7c409a authored by Maxime Jacquemin's avatar Maxime Jacquemin
Browse files

[Kernel] Lint

parent 4a35a5c2
No related branches found
No related tags found
No related merge requests found
......@@ -67,7 +67,7 @@ let pow2 e =
- ⌊x⌋ + ⌊y⌋ ≤ ⌊x + y⌋ ≤ ⌊x⌋ + ⌊y⌋ + 1 ;
- ⌊-x⌋ = -⌈x⌉ ;
- ⌈x⌉ = ⌊x⌋ + 1 ;
Thus, we deduce that ⌊log₂ n⌋ - ⌊log₂ d⌋ - 1 ≤ r ≤ ⌊log₂ n⌋ - ⌊log₂ d⌋. *)
Thus, we deduce that ⌊log₂ n⌋ - ⌊log₂ d⌋ - 1 ≤ r ≤ ⌊log₂ n⌋ - ⌊log₂ d⌋. *)
let log2 q =
if Q.(q <= zero) then raise (Invalid_argument (Q.to_string q)) ;
let num = Q.num q |> Z.log2 and den = Q.den q |> Z.log2 in
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment