next up previous contents index
Next: unit? Up: CommutativeRing Previous: reciprocal   Contents   Index


unitNormal


\begin{usage} (y, u, u1) := unitNormal x\\ (y, z1) := unitNormal(x, z) \end{usage}

\begin{signatures} unitNormal: \% $\to$\ (\%, \%. \%)\\ unitNormal: (\%,\%) $\to$\ (\%. \%)\\\end{signatures}

\begin{params} {\em x,y} & \% & Elements of the ring\\ \end{params}

\begin{retval} unitNormal(x) returns $(y, u, u^{-1})$, while unitNormal(x,z) returns $(y, u^{-1} z)$. In both cases, $x = u y$\ and $u$\ is a unit. \end{retval}


See Also


Manuel Bronstein 2000-12-13