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

System | Target | Derivation | Build status |
---|---|---|---|

x86_64-linux | /gnu/store/1gjj467ppfw9v0fii89937x4np3vjich-iml-1.0.5.drv | ||

x86_64-linux | i586-pc-gnu | /gnu/store/cws3c0a31skgbbqs8v96zalvfdpzj8bz-iml-1.0.5.drv | |

x86_64-linux | arm-linux-gnueabihf | /gnu/store/i7z42jwildq1nnlbx17ay0crmjy6220a-iml-1.0.5.drv | |

x86_64-linux | aarch64-linux-gnu | /gnu/store/yx2i0xm6yv1084ypwpap9rxdyi27a0f6-iml-1.0.5.drv | |

mips64el-linux | /gnu/store/m4qrbd5g47mkkpmfqmc944v5gcpi6ghd-iml-1.0.5.drv | ||

i686-linux | /gnu/store/ay8isdfvvv6hlc2z1jcr6zksxk98j1b8-iml-1.0.5.drv | ||

i586-gnu | /gnu/store/d6wj6ahnhws9asg53c7bbx9y3z9hb2n7-iml-1.0.5.drv | ||

armhf-linux | /gnu/store/m4r4gqlmc7hdynxyb9dhcga64p98c00q-iml-1.0.5.drv | ||

aarch64-linux | /gnu/store/s7vx5al4sxw073a1xmqar6vclcfmdjgj-iml-1.0.5.drv |

Linter | Message | Location |
---|---|---|

description Validate package descriptions | sentences in description should be followed by two spaces; possible infraction at 798 |