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/7sf76676yy5z8j6y0w23wkv48pqkw37d-iml-1.0.5.drv | ||
x86_64-linux | i586-pc-gnu | /gnu/store/40ydnvc55c00f5p4b0znq2jidnabvl1r-iml-1.0.5.drv | |
x86_64-linux | arm-linux-gnueabihf | /gnu/store/cz86l2ldgm4gdbrq7gg2f6qiljgi4cl9-iml-1.0.5.drv | |
x86_64-linux | aarch64-linux-gnu | /gnu/store/91f3j6l8z32b5m496s8kp3b7kpp099r5-iml-1.0.5.drv | |
riscv64-linux | /gnu/store/gnrvpgsn8k43bz3sn9jxdcdpg67vl3q7-iml-1.0.5.drv | ||
powerpc-linux | /gnu/store/2sq42mlb5b851f2zsr9mmz1d8ibd4l55-iml-1.0.5.drv | ||
powerpc64le-linux | /gnu/store/hx1h9asv73j7lga3whhf42x5i9v45iv3-iml-1.0.5.drv | ||
mips64el-linux | /gnu/store/ljkr8il0l7gj2lcaahckwsn1gw3s7n5g-iml-1.0.5.drv | ||
i686-linux | /gnu/store/yngcsrrmni999ahq9ckkjww7xnc08742-iml-1.0.5.drv | ||
i586-gnu | /gnu/store/l32a0l1hzyffwgaxnk06bln6rvxks3cr-iml-1.0.5.drv | ||
armhf-linux | /gnu/store/m1ir6xbj57i2z54ilrmnr3bn8raz3h9j-iml-1.0.5.drv | ||
aarch64-linux | /gnu/store/94dpnszbiqji34szymc5ligfwdslbss7-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' |