Solver for systems of linear equations over the integers
IML is a C library implementing algorithms for computing exact solutions to dense systems of linear equations over the integers. Currently, IML provides the following functionality:
Nonsingular rational system solving: compute the unique rational solution X to the system AX=B, where A and B are integer matrices, A nonsingular.
Compute the right nullspace or kernel of an integer matrix.
Certified linear system solving: compute a minimal denominator solution x to a system Ax=b, where b is an integer vector and A is an integer matrix with arbitrary shape and rank profile.
In addition, IML provides some low level routines for a variety of mod p matrix operations: computing the row-echelon form, determinant, rank profile, and inverse of a mod p matrix. These mod p routines are not general purpose; they require that p satisfy some preconditions based on the dimension of the input matrix (usually p should be prime and should be no more than about 20 bits long).
System | Target | Derivation | Build status |
---|---|---|---|
x86_64-linux | /gnu/store/mlys4lh1c5pz8cjgmm1bv3f894qd4a0z-iml-1.0.5.drv | ||
i686-linux | /gnu/store/w0z9vl22g5x8186g9z4did1pbc5v0izk-iml-1.0.5.drv |
Linter | Message | Location |
---|---|---|
description Validate package descriptions | sentences in description should be followed by two spaces; possible infraction at 798 | |
derivation Report failure to compile a package to a derivation | failed to create i686-linux derivation: path ‘/gnu/store/2f4hwvm2isrsbi0zvsgw58ab6g6ckig0-patch-2.7.6.drv’ is not valid | |
derivation Report failure to compile a package to a derivation | failed to create armhf-linux derivation: path ‘/gnu/store/0lwr0mrggkp9j5nhdrb31lq97jhz1r9r-gmp-6.1.2.drv’ is not valid | |
derivation Report failure to compile a package to a derivation | failed to create aarch64-linux derivation: path ‘/gnu/store/09hhdxcfrm56afpglx3ff2dj4ibfl92x-sed-4.7.drv’ is not valid | |
derivation Report failure to compile a package to a derivation | failed to create mips64el-linux derivation: path ‘/gnu/store/110f2jlvf1bgwppx81sa07nc53c5v7vd-gzip-1.10.drv’ is not valid |