A division algorithm for the Gaussian integers' minimal Euclidean function. - Graves, Hester (Canadian Mathematical Bulletin, 2026)