IntegralDomain

Next: order Up: Basic Categories Previous: integer Contents Index

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

$\begin{descr} IntegralDomain~is the category of commutative integral domains. \end{descr}$

Exports

CommutativeRing

order: % $\to$ % $\to$ Integer Order of divisibility

orderquo: % $\to$ % $\to$ (Integer, %) Order of divisibility and quotient

Manuel Bronstein 2000-12-13

`CommutativeRing`
`order`:	% $\to$ % $\to$ `Integer`	Order of divisibility
`orderquo`:	% $\to$ % $\to$ (`Integer`, %)	Order of divisibility and quotient