Language

Package: iml @ 1.0.5

Synopsis

Solver for systems of linear equations over the integers

Description

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).

Home page
https://cs.uwaterloo.ca/~astorjoh/iml.html
Location
gnu/packages/algebra.scm (line: 1657, column: 2)
License

Derivations

SystemTargetDerivationBuild status
x86_64-linux/gnu/store/fhim98ifqazrv4r6qm0cn4yny4vwaafl-iml-1.0.5.drv
x86_64-linuxx86_64-w64-mingw32/gnu/store/kfzmykarxjbjrq29fp6gxzyps8xipvds-iml-1.0.5.drv
x86_64-linuxriscv64-linux-gnu/gnu/store/kby9x9wjc2c258id3yaykhwjnr6y65lk-iml-1.0.5.drv
x86_64-linuxpowerpc-linux-gnu/gnu/store/f6z9hcmj6alsgv7d38f2wm2k3bh7clql-iml-1.0.5.drv
x86_64-linuxpowerpc64le-linux-gnu/gnu/store/6avnk1dyl4n41jvxc5lyq3ib5vgjjn7n-iml-1.0.5.drv
x86_64-linuxmips64el-linux-gnu/gnu/store/isk5aiic1nainyi7xp3rcl82jvcwg58s-iml-1.0.5.drv
x86_64-linuxi686-w64-mingw32/gnu/store/rkvggwi41bgg4lqxn0n68gyj6rza923l-iml-1.0.5.drv
x86_64-linuxi586-pc-gnu/gnu/store/pj7jfx03czmi0l84xr56n4p4hl90k09n-iml-1.0.5.drv
x86_64-linuxarm-linux-gnueabihf/gnu/store/m765d64f3nsi3jbdsgy6xkmkds40iqyw-iml-1.0.5.drv
x86_64-linuxaarch64-linux-gnu/gnu/store/2db81c2kxpmb9rvv04v82k1pmcvn6p6k-iml-1.0.5.drv
riscv64-linux/gnu/store/kv8jxsxmiia9qbxbd87q9ly7zvcyavwb-iml-1.0.5.drv
    powerpc-linux/gnu/store/50jwsvn9p9xa2yvrhgbcfdlc5rym3axm-iml-1.0.5.drv
      powerpc64le-linux/gnu/store/46wbdw30dcs33hmc2b8bdly3kvw1brii-iml-1.0.5.drv
      mips64el-linux/gnu/store/kr98yz10n5asdd8ira4z8hflxz974187-iml-1.0.5.drv
        i686-linux/gnu/store/qfh3s5rm0z0v2j1sr64s30p6g46ljjf4-iml-1.0.5.drv
        i586-gnu/gnu/store/4ri3il8rds195qp42j5jpm1s6m74z1xg-iml-1.0.5.drv
        armhf-linux/gnu/store/h205j1kslmpbwwfr5cs7lm916s3zyfvr-iml-1.0.5.drv
        aarch64-linux/gnu/store/f7khjqq4s9401ys1wm6dcz4v3lnqzgdg-iml-1.0.5.drv

        Lint warnings

        LinterMessageLocation
        input-labels

        Identify input labels that do not match package names

        label 'cblas' does not match package name 'openblas'
        description

        Validate package descriptions

        sentences in description should be followed by two spaces; possible infraction at 798