makeColIntegral

Next: makeRowIntegral Up: MatrixCategoryOverFraction Previous: MatrixCategoryOverFraction Contents Index

makeColIntegral

$\begin{usage} (a, v) := makeColIntegral(B, i) \end{usage}$

Signature

makeColIntegral: (MQ, MachineInteger) $\to$ (R, Vector R)

$\begin{params} {\em B} & MQ & A matrix with rational coefficients\\ {\em i} &... ...lref{\texttt{MachineInteger}}{MachineInteger} & A column index\\\end{params}$

$\begin{retval} Returns $(a, v)$\ such that $v = a$\ times the ${i}^{{\rm th}}$\... ...a \htmlref{\texttt{GcdDomain}}{GcdDomain}, then $v$\ is primitive. \end{retval}$

Manuel Bronstein 2000-12-13