LinearAlgebraRing

Exports

• IntegralDomain
  determinant:	(M:MC) $\to$ M $\to$ %	Determinant
  factorOfDeterminant:	(M:MC) $\to$ M $\to$ (B, %)	Probable determinant
  invertibleSubmatrix:	(M:MC) $\to$ M $\to$ (B, AZ, AZ)	Probable maximal minor
  inverse:	(M:MC) $\to$ M $\to$ (M, V)	Inverse
  kernel:	(M:MC) $\to$ M $\to$ M	Kernel
  linearDependence:	(Generator V, Z) $\to$ V	First dependence relation
  maxInvertibleSubmatrix:	(M:MC) $\to$ M $\to$ (AZ, AZ)	Maximal minor
  particularSolution:	(M:MC) $\to$ (M, M) $\to$ (M, V)	A solution
  rank:	(M:MC) $\to$ M $\to$ Z	Rank
  rankLowerBound:	(M:MC) $\to$ M $\to$ (B, Z)	Probable rank
  solve:	(M:MC) $\to$ (M, M) $\to$ (M, M, V)	All solutions
  span:	(M:MC) $\to$ M $\to$ AZ	Span
  subKernel:	(M:MC) $\to$ M $\to$ (B, M)	Subspace of the kernel

• where

• AZ	==	Array MachineInteger
  B	==	Boolean
  MC	==	MatrixCategory %
  V	==	Vector %
  Z	==	MachineInteger