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.