back substitution on a matrix
backsub(U, b, v)
row reduced matrix
vector or matrix
Important: The linalg package has been deprecated. Use the superseding packages, LinearAlgebra and VectorCalculus, instead.
- For information on migrating linalg code to the new packages, see examples/LinearAlgebraMigration.
backsub generates a solution vector x to the equation U⁢x=b.
If b is omitted, or b is 'false' then U is assumed to be an augmented matrix and the last column of U is used in place of b.
If b is a matrix, then x (the solution) will also be a matrix with the same number of columns.
If U is the result of applying forward Gaussian elimination to the augmented matrix of a system of linear equations, as might be obtained from gausselim or gaussjord, backsub completes the solution by back substitution. If a solution exists, it is returned as a vector. If no solution exists, an error will be generated.
If the solution is not unique, it will be parameterized in terms of the symbols v, v, ..., etc. or v[1,k],v[2,k], ... as in the case where b is a matrix. If the third argument v is not specified, the global variable _t will be used.
The input matrix must be in row-echelon form with all zero rows grouped at bottom. Such a matrix is produced by applying gausselim or gaussjord to the augmented matrix of a system of linear equations or by obtaining the LU decomposition.
The command with(linalg,backsub) allows the use of the abbreviated form of this command.
A ≔ randmatrix⁡3,4:
F ≔ gausselim⁡A
F ≔ −722−55−94015227−47857−8612700−566331522−56043761
H ≔ 1232131−10:
v ≔ 121:
A ≔ augment⁡H,v
A ≔ 123121321−101
F ≔ gaussjord⁡A
F ≔ 101101100000
u ≔ LUdecomp⁡H,L='l'
u ≔ 1230−3−3000
e ≔ forwardsub⁡l,v
e ≔ 100
f ≔ backsub⁡u,e,'s'
f ≔ 1−s1−s1s1
evalm⁡l &* u &* f−v
Download Help Document
What kind of issue would you like to report? (Optional)
Thank you for submitting feedback on this help document. Your feedback will be used
to improve Maple's help in the future.