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: 1656, column: 2)
License

Derivations

SystemTargetDerivationBuild status
x86_64-linux/gnu/store/dml2nnahvmisfah1kmki9a0yl94zwz13-iml-1.0.5.drv
x86_64-linuxx86_64-w64-mingw32/gnu/store/f6nsdr56k97y8sylgn4a837w1m40d9ab-iml-1.0.5.drv
x86_64-linuxriscv64-linux-gnu/gnu/store/x65ij7xgly6q2vr37xrmxdzlcys4y4mh-iml-1.0.5.drv
x86_64-linuxpowerpc-linux-gnu/gnu/store/1zpvf4j9mbk0a6xv723fylvzmxf95lfq-iml-1.0.5.drv
x86_64-linuxpowerpc64le-linux-gnu/gnu/store/6b9147jl97r9ndk4xr4j31320z8r4m75-iml-1.0.5.drv
x86_64-linuxmips64el-linux-gnu/gnu/store/pr12kvvjiqr7jqkjh1j2q3nry2qgldyj-iml-1.0.5.drv
x86_64-linuxi686-w64-mingw32/gnu/store/iziksh7h5n16hkkzrvg71c6xlbasdsn3-iml-1.0.5.drv
x86_64-linuxi586-pc-gnu/gnu/store/b0c3216p23yxsk1appbh2ixbfjxdg8yi-iml-1.0.5.drv
x86_64-linuxarm-linux-gnueabihf/gnu/store/7y29lrbc6c7qaw74b95n46582c911846-iml-1.0.5.drv
x86_64-linuxaarch64-linux-gnu/gnu/store/is9d6yvsnjk5d1y3nigwn1fycv4d29v2-iml-1.0.5.drv
riscv64-linux/gnu/store/nwqclray3inqk35p7iixnjqg4sa34jki-iml-1.0.5.drv
    powerpc-linux/gnu/store/yc0ks812xz2yli05dhym1m41idj3g685-iml-1.0.5.drv
      powerpc64le-linux/gnu/store/a3d02256d8jlbwsa0yknra8vqkncxvr5-iml-1.0.5.drv
      mips64el-linux/gnu/store/d6mkmgjxj3s3n4vs8glpr8jbaj2qn50l-iml-1.0.5.drv
        i686-linux/gnu/store/8nxvbcbv9v7ibp8mv6rdnvf974v7h5xg-iml-1.0.5.drv
        i586-gnu/gnu/store/ggmm6hljjqgy3sfjxrd2c1jh90a9pf3p-iml-1.0.5.drv
        armhf-linux/gnu/store/xhb1f8zla22lddb2sc6rhbal30ppx6ky-iml-1.0.5.drv
        aarch64-linux/gnu/store/gk1d4pszyxlbhz7y8asj1g2d06v18k1c-iml-1.0.5.drv

        Lint warnings

        LinterMessageLocation
        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'
        derivation

        Report failure to compile a package to a derivation

        failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7492 7fb2d2987dc0> input: ("_" "static")>
        derivation

        Report failure to compile a package to a derivation

        failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7492 7f3e6bc77dc0> input: ("_" "static")>
        derivation

        Report failure to compile a package to a derivation

        failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7492 7f62abeb7dc0> input: ("_" "static")>
        derivation

        Report failure to compile a package to a derivation

        failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7492 7fa23c1dddc0> input: ("_" "static")>
        derivation

        Report failure to compile a package to a derivation

        failed to create i586-gnu derivation: #<&package-input-error package: #<package nghttp2@1.48.0 gnu/packages/web.scm:7492 7f0f10522dc0> input: ("_" "static")>