Backsolve

Next: backsolve Up: Linear Algebra Previous: Linear Algebra Contents Index

Backsolve

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

$\begin{params} {\em R} & \htmlref{\texttt{IntegralDomain}}{IntegralDomain} & A... ...exttt{MatrixCategory}}{MatrixCategory} R& A matrix type over R\\\end{params}$

$\begin{descr} ~(R,M) provides operations for backsolving triangular systems \end{descr}$

Exports

backsolve: (M,Z->Z,ARR Z,Z,Z,R) $\to$ V R Backsolve a triangular system

backsolve: (M,Z->Z,ARR Z,Z,M,R) $\to$ (M, V R) Backsolve a triangular system

if R has GcdDomain then

`backsolve`:	(M,Z->Z,ARR Z,Z,Z) $\to$ V R	Backsolve a triangular system
`backsolve`:	(M,Z->Z,ARR Z,Z,M) $\to$ (M, V R)	Backsolve a triangular system
`backsolve2`:	(M,Z->Z,ARR Z,Z,Z,R) $\to$ V R	Backsolve a triangular system
`backsolve2`:	(M,Z->Z,ARR Z,Z,M,R) $\to$ (M, V R)	Backsolve a triangular system

where
Z == MachineInteger

ARR == PrimitiveArray

V == Vector

Subsections

Manuel Bronstein 2000-12-13