EuclideanDomain

Exports

• GcdDomain
  diophantine:	(%, %, %) $\to$ Partial %	Solve a linear diophantine equation
  divide:	(%, %) $\to$ (%, %)	Euclidean division
  divide!:	(%, %, %) $\to$ (%, %)	In-place Euclidean division
  euclid:	(%, %) $\to$ %	Euclidean gcd
  euclid!:	(%, %) $\to$ %	In-place Euclidean gcd
  euclideanSize:	% $\to$ Integer	Size function of the domain
  extendedEuclidean:	(%, %) $\to$ (%, %, %)	Extended Euclidean Algorithm
  	(%, %, %) $\to$ Partial(%, %)
  quo:	(%, %) $\to$ %	Quotient
  rem:	(%, %) $\to$ %	Remainder
  remainder!:	(%, %) $\to$ %	In-place remainder