rankLowerBound

Next: TwoStepFractionFreeGaussElimination Up: SpecializationLinearAlgebra Previous: SpecializationLinearAlgebra Contents Index

rankLowerBound

$\begin{usage} rankLowerBound~a \end{usage}$

Signature

rankLowerBound: M $\to$ Partial Cross(Boolean, MachineInteger)

$\begin{params} {\em a} & M & A matrix\\ \end{params}$

$\begin{retval} Returns {\it failed}\xspace if specialization failed, otherwise ... ...$\ is exactly the rank of $a$\ if $rank?$\ is {\it true}\xspace . \end{retval}$

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

Manuel Bronstein 2000-12-13