next up previous contents index
Next: LinearEliminationCategory Up: LinearAlgebraRing Previous: span   Contents   Index


subKernel


\begin{usage} subKernel(M)(a) \end{usage}


Signature


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

\begin{retval} Returns $(ker?, m)$\ such that the columns of $m$, which are alw... ...a$, and generate the full kernel if $ker?$\ is {\it true}\xspace . \end{retval}

\begin{remarks} $m$\ can also happen to generate the full kernel of $a$\ when $... ...is {\it false}\xspace , but the algorithm was unable to prove it. \end{remarks}


See Also


Manuel Bronstein 2000-12-13