next up previous contents index
Next: gcd Up: Basic Categories Previous: random   Contents   Index


GcdDomain


\begin{usage}
GcdDomain: Category
\end{usage}

\begin{descr}
GcdDomain~is the category of commutative Gcd domains.
\end{descr}


Exports



Subsections

Manuel Bronstein 2000-12-13