normalize

Next: Product Up: LinearCombinationFraction Previous: makeRational Contents Index

normalize

$\begin{usage} (a, B) := normalize~A \end{usage}$

Signature

normalize: LR $\to$ (R, LQ)

$\begin{params} {\em A} & LR & An integral element\\ \end{params}$

$\begin{retval} Returns $(a, B)$\ such that $A = a B$, and $B$\ is a normalized rational element. \end{retval}$

$\begin{remarks} The normalization depends on the actual type LQ. For polynomial... ...icient if $1$, for vectors that the first coordinate is $1$, etc. \end{remarks}$

Manuel Bronstein 2000-12-13