CommutativeRing

Next: canonicalUnitNormal Up: Basic Categories Previous: CharacteristicZero Contents Index

$\begin{usage} CommutativeRing: Category \end{usage}$

$\begin{descr} CommutativeRing~is the category of commutative rings. \end{descr}$

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
`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

Next: canonicalUnitNormal Up: Basic Categories Previous: CharacteristicZero Contents Index

Manuel Bronstein 2000-12-13