CommutativeRing

Exports

• Ring
  canonicalUnitNormal?:	$\to$ Boolean	Check if unitNormal is canonical
  divideBy:	% $\to$ (% $\to$ %)	division procedure
  divDiffProd:	(%, %, %, %, %) $\to$ %	Combined product and quotient
  divSumProd:	(%, %, %, %, %, %, %) $\to$ %	Combined product and quotient
  exactQuotient:	(%, %) $\to$ Partial %	Exact quotient
  karatsubaCutoff:	$\to$ MachineInteger	Cutoff for Karatsuba in $R[x]$
  quotient:	(%, %) $\to$ %	Exact quotient
  reciprocal:	% $\to$ Partial %	Inverse
  unitNormal:	% $\to$ (%,%,%)	Representative of the associates
  	(%, %) $\to$ (%,%)
  unit?:	% $\to$ Boolean	Test whether an element is a unit