makeIntegral

Next: makeIntegralBy Up: LinearCombinationFraction Previous: Contents Index

makeIntegral

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

Signature

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

$\begin{params} {\em B} & LQ & A rational element\\ \end{params}$

$\begin{retval} Returns $(a, A)$\ such that $A = a B$\ is integral. If R is a \htmlref{\texttt{GcdDomain}}{GcdDomain}, then $A$\ is primitive. \end{retval}$

Manuel Bronstein 2000-12-13