Simple, ready-to-be-cannibalized example of using HLinear to compute the echelon form of a matrix.
- Get hlinear-example:
git clone https://github.com/aghitza/hlinear-example.git
- Build hlinear-example:
cd hlinear-example
stack build
- Run hlinear-example:
stack exec hlinear-example-exe
This will print out the matrices P, L and E in the PLE decomposition of a small matrix:
permutation:
[ 1/1 0/1 ]
[ 0/1 1/1 ]
left transformation:
[ 1/1 0/1 ]
[ 4/3 -1/3 ]
echelon form:
[ 1/1 2/1 3/1 ]
[ 0/1 1/1 2/1 ]
- The code defining the input matrix and calling HLinear for the PLE decomposition is in app/Main.hs. Modify to suit your needs.
GPLv3, see LICENSE.