unit?

Next: DecomposableRing Up: CommutativeRing Previous: unitNormal Contents Index

unit?

$\begin{usage} unit?~x \end{usage}$

Signature

unit?: % $\to$ Boolean

$\begin{params} {\em x} & \% & An element of the ring\\ \end{params}$

$\begin{retval} Returns {\it true}\xspace ~if $x$\ is a unit, {\it i.e.}$x \, y = 1$\ for some $y$, {\it false}\xspace ~otherwise. \end{retval}$

See Also

canonicalUnitNormal?, unitNormal

Manuel Bronstein 2000-12-13