DecomposableRing

Next: provablyIrreducible? Up: Basic Categories Previous: unit? Contents Index

DecomposableRing

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

$\begin{descr} DecomposableRing~is the category of commutative rings whose eleme... ...omposed into products (not to be confused with true factorization). \end{descr}$

Exports

CommutativeRing

provablyIrreducible?: % $\to$ Boolean

someFactors: % $\to$ List % Get some factors

Subsections

provablyIrreducible?
someFactors

Manuel Bronstein 2000-12-13

`CommutativeRing`
`provablyIrreducible?`:	% $\to$ `Boolean`
`someFactors`:	% $\to$ `List` %	Get some factors