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

Derivations

SystemTargetDerivationBuild status
x86_64-linux/gnu/store/0c6hjkf3chgvkg1b96pyn8q1w72fff10-iml-1.0.5.drv
    x86_64-linuxx86_64-w64-mingw32/gnu/store/qkalwwbb6f8ibkw7wrddz7zpwa84r7ng-iml-1.0.5.drv
    x86_64-linuxriscv64-linux-gnu/gnu/store/9pwaxh0ys4g4q3q8f7lswf4n9j0ps8ap-iml-1.0.5.drv
    x86_64-linuxpowerpc-linux-gnu/gnu/store/jaaabfjm52fywnb46q1pj4kmiw0b38f1-iml-1.0.5.drv
    x86_64-linuxpowerpc64le-linux-gnu/gnu/store/9wwfl3x0izsx6iqkm3m2yy2hrnq7j16l-iml-1.0.5.drv
    x86_64-linuxmips64el-linux-gnu/gnu/store/ca9r1a2pxlri488flaaqrbbii4wk4f0n-iml-1.0.5.drv
    x86_64-linuxi686-w64-mingw32/gnu/store/964hi7sxzr6izg9y15wynsisqr341qxb-iml-1.0.5.drv
    x86_64-linuxi586-pc-gnu/gnu/store/zmjxscigmb4z1zmp3acyw5cr2ahpkgxh-iml-1.0.5.drv
    x86_64-linuxarm-linux-gnueabihf/gnu/store/acddv9mkws8jxgp29jsdvwkm5jr41ins-iml-1.0.5.drv
    x86_64-linuxaarch64-linux-gnu/gnu/store/ql7190wbal9hiixrhnlzk8rb6p0zp5ac-iml-1.0.5.drv
    riscv64-linux/gnu/store/73y72q2yicbkw5am2ay3ag88nn4nbb1g-iml-1.0.5.drv
      powerpc-linux/gnu/store/p0c73p0v0lr8pvvhll7psky16ylmbhlr-iml-1.0.5.drv
        powerpc64le-linux/gnu/store/5bvcqif3qclcyyzrrgp1cqjw7mqwxxph-iml-1.0.5.drv
        mips64el-linux/gnu/store/5ww2nb9dcnyy755hqyv70j961qz14n3f-iml-1.0.5.drv
          i686-linux/gnu/store/vma3hzi0pczizr462pmvzvrxaf180phc-iml-1.0.5.drv
          i586-gnu/gnu/store/m59zj6pfsf901nidgg8cy0sah5pvmh2a-iml-1.0.5.drv
          armhf-linux/gnu/store/qpj6ivdb0ksbzn66k29cbn5314ncj759-iml-1.0.5.drv
          aarch64-linux/gnu/store/fssyfs20nx396i7vll8yixn6nwhvx9qg-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'