Module division 

Macros

impl_rem_assign_scalar 🔒

Constants

BURNIKEL_ZIEGLER_THRESHOLD 🔒

FAST_DIV_WIDE 🔒

Functions

div_half 🔒

For small divisors, we can divide without promoting to DoubleBigDigit by using half-size pieces of digit, like long-division.

div_rem 🔒

div_rem_burnikel_ziegler 🔒

This algorithm is from Burnikel and Ziegler, “Fast Recursive Division”, Algorithm 1. It is a recursive algorithm that divides the dividend and divisor into blocks of digits and uses a divide-and-conquer approach to find the quotient.

div_rem_core 🔒

An implementation of the base division algorithm. Knuth, TAOCP vol 2 section 4.3.1, algorithm D, with an improvement from exercises 19-21.

div_rem_cow 🔒

div_rem_digit 🔒

div_rem_ref 🔒

div_wide 🔒

x86 and x86_64 can use a real div instruction.

rem_digit 🔒

sub_mul_digit_same_len 🔒

Subtract a multiple. a -= b * c Returns a borrow (if a < b then borrow > 0).