Euclidean domain

A Euclidean domain is an integral domain equipped with a Euclidean function that allows a division algorithm, meaning any two elements can be written as a quotient and remainder with strictly smaller measure, enabling the construction of greatest common divisors via repeated division.

Instances (1)

• Gaussian integers