factorOfDeterminant

Next: inverse Up: LinearAlgebraRing Previous: determinant Contents Index

factorOfDeterminant

$\begin{usage} factorOfDeterminant(M)(a) \end{usage}$

Signature

factorOfDeterminant: (M:MatrixCategory %) $\to$ M $\to$ (Boolean, R)

$\begin{params} {\em M} & \htmlref{\texttt{MatrixCategory}}{MatrixCategory} \% & A matrix type\\ {\em a} & M & A matrix\\\end{params}$

$\begin{retval} Returns $(det?, d)$\ such that $d$\ is always a factor of the de... ...s exactly the determinant of $a$if $det?$\ is {\it true}\xspace . \end{retval}$

$\begin{remarks} $d$\ can also happen to be the determinant of $a$\ when $det?$\ is {\it false}\xspace , but the algorithm was unable to prove it. \end{remarks}$

See Also

determinant

Manuel Bronstein 2000-12-13