SpecializationLinearAlgebra

Next: rankLowerBound Up: Linear Algebra Previous: kernel! Contents Index

SpecializationLinearAlgebra

$\begin{usage} import from SpecializationLinearAlgebra(R, M) \end{usage}$

$\begin{params} {\em R} & \htmlref{\texttt{CommutativeRing}}{CommutativeRing} &... ...ref{\texttt{MatrixCategory}}{MatrixCategory} R & A matrix type\\\end{params}$

$\begin{descr} SpecializationLinearAlgebra(R, M) provides basic linear algebra functionalities using specializations for matrices over $R$. \end{descr}$

Exports

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

Subsections

rankLowerBound

Manuel Bronstein 2000-12-13