Module dsalgo::karatsuba_mul_quotient_pow_2_power_of_2_128

Functions

karatsuba_mul_quotient_pow_2_power_of_2

k <= 63, base := 2^k, x, y < base^2, compute [x * y / base^2] without overflow. what meant by pow_2_power_of_2 ? -> base = 2^k (power of 2), and mod = base^2 (pow 2)