Exact Short Products From Truncated Multipliers
arXiv:2303.14321 · doi:10.1093/comjnl/bxad077
Abstract
We sometimes need to compute the most significant digits of the product of small integers with a multiplier requiring much storage: e.g., a large integer (e.g., ) or an irrational number (). We only need to access the most significant digits of the multiplier-as long as the integers are sufficiently small. We provide an efficient algorithm to compute the range of integers given a truncated multiplier and a desired number of digits.
Software at https://github.com/lemire/exactshortlib