canonicalUnitNormal

Next: divideBy Up: CommutativeRing Previous: CommutativeRing Contents Index

canonicalUnitNormal

$\begin{usage} canonicalUnitNormal \end{usage}$

Signature

canonicalUnitNormal: Boolean

$\begin{retval} Returns {\it true}\xspace ~if {\tt unitNormal} is canonical in t... ...tt unitNormal}(x')$\ returns $(u', y', u'{}^{-1})$, then $y = y'$. \end{retval}$

See Also

unitNormal, unit?

Manuel Bronstein 2000-12-13