Numeric.Domain.Euclidean
class
Euclidean
d
euclid
prs
chineseRemainder