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/i1lxqin6ialkqad1bfq9vkm54rhs565n-iml-1.0.5.drv | ||
x86_64-linux | i586-pc-gnu | /gnu/store/cd2xvffzbb53blg1c9xdniq3nzkna29m-iml-1.0.5.drv | |
x86_64-linux | arm-linux-gnueabihf | /gnu/store/avn1vxcpj0vs7hsp3b38321dzv49q0ry-iml-1.0.5.drv | |
x86_64-linux | aarch64-linux-gnu | /gnu/store/xrfspqi60abhikavig1b62rdims07a5j-iml-1.0.5.drv | |
riscv64-linux | /gnu/store/vp2rbffihibbxb1ivrbm60pkmd2n303m-iml-1.0.5.drv | ||
powerpc-linux | /gnu/store/6rsyilbby8887cvj8rchhyphm60p6fn4-iml-1.0.5.drv | ||
powerpc64le-linux | /gnu/store/dkzyks4d0fgb6w8ra7m3kkkjg8yzhm4z-iml-1.0.5.drv | ||
mips64el-linux | /gnu/store/cvj7ccg7qn1xjl2hvp8qqss0hlk0rpn9-iml-1.0.5.drv | ||
i686-linux | /gnu/store/2lwlqsryh5k4nps4l2paz3z2blfhgn5b-iml-1.0.5.drv | ||
i586-gnu | /gnu/store/gm81d130xpny1ll7xrc8y4f6piflnpah-iml-1.0.5.drv | ||
armhf-linux | /gnu/store/hjr29729qasag19rvcf9f1gz1mwacpnw-iml-1.0.5.drv | ||
aarch64-linux | /gnu/store/cqmfgn0cwzqr5zlbqxf30y89apcwx8qr-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 | |
input-labels Identify input labels that do not match package names | label 'cblas' does not match package name 'openblas' |