LinearAlgebra

Exports

• determinant:	M $\to$ R	Determinant
  factorOfDeterminant:	M $\to$ (Boolean, R)	Probable determinant
  invertibleSubmatrix:	M $\to$ (Boolean, AZ, AZ)	Probable maximal minor
  maxInvertibleSubmatrix:	M $\to$ (AZ, AZ)	Maximal minor
  rank:	M $\to$ MachineInteger	Rank
  rankLowerBound:	M $\to$ (Boolean, MachineInteger)	Probable rank
  span:	M $\to$ AZ	Span

• if R has IntegralDomain then
  

• cycle:	(V $\to$ V, V) $\to$ (V, M)	First dependence relation
  cycle:	(M, V) $\to$ (V, M)	First dependence relation
  firstDependence:	(Generator V, MachineInteger) $\to$ V	First dependence relation
  inverse:	M $\to$ (M, V)	Inverse
  kernel:	M $\to$ M	Kernel
  particularSolution:	(M, M) $\to$ (M, V)	A solution
  solve:	(M, M) $\to$ (M, M, V)	All solutions
  subKernel:	M $\to$ (Boolean, M)	Subspace of the kernel

• where

• AZ	==	Array MachineInteger
  V	==	Vector R