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/c3j1yfq87qf6ikqzy1f9f1hz5a4afwvr-iml-1.0.5.drv
x86_64-linuxx86_64-w64-mingw32/gnu/store/rk8smh9lr9qfavc7d7ph045p7f13p2qk-iml-1.0.5.drv
x86_64-linuxriscv64-linux-gnu/gnu/store/v9yzc7drjchkqa4cbl521mvff2ypn8jp-iml-1.0.5.drv
x86_64-linuxpowerpc-linux-gnu/gnu/store/3cyfl75wx7hi4gfswm5rdyb87iv2fbhw-iml-1.0.5.drv
x86_64-linuxpowerpc64le-linux-gnu/gnu/store/dqvpw05z56gasxpanasppn85yahdbnpr-iml-1.0.5.drv
x86_64-linuxmips64el-linux-gnu/gnu/store/ggibrnybgljawwhaayna9rav8nvkbqcr-iml-1.0.5.drv
x86_64-linuxi686-w64-mingw32/gnu/store/b1jvrkhcdkkrgzlhg1v8k2s9wllbik4s-iml-1.0.5.drv
x86_64-linuxi586-pc-gnu/gnu/store/dfd1ifl6gy5kcn6xz409f7z4pjxrkg68-iml-1.0.5.drv
x86_64-linuxarm-linux-gnueabihf/gnu/store/laf48gsm7fphvc8cbrsk4kawnx9f07kc-iml-1.0.5.drv
x86_64-linuxaarch64-linux-gnu/gnu/store/40xw4mz20r5akyy8mv15rx2p6b0x3i9j-iml-1.0.5.drv
riscv64-linux/gnu/store/gz66r28ryhg5yf37b35csanmc6c09jjv-iml-1.0.5.drv
    powerpc-linux/gnu/store/hf2zk93csh5pwnyzwk4mdwlax04zhqf1-iml-1.0.5.drv
      powerpc64le-linux/gnu/store/zvaqp6y05cf43i8avi2hd334i7f3xx0q-iml-1.0.5.drv
      mips64el-linux/gnu/store/xybr6mbmq2mc48p5xmy7wzrlz9nwswv6-iml-1.0.5.drv
        i686-linux/gnu/store/df30fim8r59qhvy7yqv567d6i2xy8b26-iml-1.0.5.drv
        i586-gnu/gnu/store/vscp7wvka2xgq1isvxaqad4hyvs54lpr-iml-1.0.5.drv
        armhf-linux/gnu/store/6gh6xfmj0jl0li1lg29sa80srnmppb2p-iml-1.0.5.drv
        aarch64-linux/gnu/store/qc8ygv98ynl90qa4p46wcnh5vpai7k90-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")>