makeIntegralBy

Next: makeRational Up: LinearCombinationFraction Previous: makeIntegral Contents Index

makeIntegralBy

$\begin{usage} ($\mu$, A) := makeIntegralBy~B \end{usage}$

Signature

makeIntegralBy: LQ $\to$ (Integer, LR)

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

$\begin{retval} Returns $(\mu, A)$\ such that $A = \mbox{shift}(B, \mu)$\ is integral. \end{retval}$

Manuel Bronstein 2000-12-13