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

","plain":"IML is a C library implementing algorithms for computing exact solutions\nto dense systems of linear equations over the integers. Currently, IML\nprovides the following functionality:\n\n * Nonsingular rational system solving: compute the unique rational\n solution X to the system AX=B, where A and B are integer matrices,\n A nonsingular.\n\n * Compute the right nullspace or kernel of an integer matrix.\n\n * Certified linear system solving: compute a minimal denominator\n solution x to a system Ax=b, where b is an integer vector and A is\n an integer matrix with arbitrary shape and rank profile.\n\nIn addition, IML provides some low level routines for a variety of mod p\nmatrix operations: computing the row-echelon form, determinant, rank\nprofile, and inverse of a mod p matrix. These mod p routines are not\ngeneral purpose; they require that p satisfy some preconditions based on\nthe dimension of the input matrix (usually p should be prime and should\nbe no more than about 20 bits long).\n\n","locale":"en_US.UTF-8"},"home-page":"https://cs.uwaterloo.ca/~astorjoh/iml.html","derivations":[{"system":"x86_64-linux","target":"","derivation":"/gnu/store/l95i071fwqish1gacb3l2j4f53nsi2vr-iml-1.0.5.drv"},{"system":"x86_64-linux","target":"i586-pc-gnu","derivation":"/gnu/store/6136437ybphilwx7rhy2pmarn9r1ign5-iml-1.0.5.drv"},{"system":"x86_64-linux","target":"arm-linux-gnueabihf","derivation":"/gnu/store/5ky8w7cnlpb7p5lghfj703c62l06nw1f-iml-1.0.5.drv"},{"system":"x86_64-linux","target":"aarch64-linux-gnu","derivation":"/gnu/store/z218qnwv0nznvy9varvvwgv5b26719ah-iml-1.0.5.drv"},{"system":"powerpc64le-linux","target":"","derivation":"/gnu/store/gqsxwzgc34mw1ls1gl86vyk6xlznwfi5-iml-1.0.5.drv"},{"system":"mips64el-linux","target":"","derivation":"/gnu/store/jswd7p6637f1fjskb88avbiqmix50ws6-iml-1.0.5.drv"},{"system":"i686-linux","target":"","derivation":"/gnu/store/3l0fwc8wwd77ysfjvap4qcj0w64jklp3-iml-1.0.5.drv"},{"system":"i586-gnu","target":"","derivation":"/gnu/store/zhwm2zx6l7dw0ckyhwz7lz4yqmia1l71-iml-1.0.5.drv"},{"system":"armhf-linux","target":"","derivation":"/gnu/store/961x2311rzaya8d3dl8y7phc8vmlh1pz-iml-1.0.5.drv"},{"system":"aarch64-linux","target":"","derivation":"/gnu/store/lrc95w5fzlc4xs6xnv0pr8wlf3p2hyh4-iml-1.0.5.drv"}]}