# Умножение: общий случай ## Ссылка на видеоразбор https://youtu.be/NKhwfK0PurY ## Код из книги let real_mul x y n = let n2 = n + 2 in let r = n2 / 2 in let s = n2 − r in let xr = x(r) and ys = y (s) in let p = log2 xr and q = log 2 ys in if p = 0 & q = 0 then Int 0 else let k = q + r + 1 and l = p + s + 1 and m = p + q + 4 in (x(k) ∗/ y(l)) ndiv ( Int 2 ∗∗/ Int m) ;;