{"name":"iml","version":"1.0.5","synopsis":{"source":"Solver for systems of linear equations over the integers","html":"

Solver for systems of linear equations over the integers

","plain":"Solver for systems of linear equations over the integers\n\n","locale":"en_US.UTF-8"},"description":{"source":"IML is a C library implementing algorithms for computing exact\nsolutions to dense systems of linear equations over the integers.\nCurrently, IML provides the following functionality:\n\n@itemize\n@item Nonsingular rational system solving:\ncompute the unique rational solution X to the system AX=B, where A and B\nare integer matrices, A nonsingular.\n@item Compute the right nullspace or kernel of an integer matrix.\n@item Certified linear system solving:\ncompute a minimal denominator solution x to a system Ax=b, where b is an\ninteger vector and A is an integer matrix with arbitrary shape and\nrank profile.\n@end itemize\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 be\nno more than about 20 bits long).","html":"

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 to\ndense systems of linear equations over the integers. Currently, IML provides\nthe following functionality:\n\n * Nonsingular rational system solving: compute the unique rational solution X\n to the system AX=B, where A and B are integer matrices, A nonsingular.\n\n * Compute the right nullspace or kernel of an integer matrix.\n\n * Certified linear system solving: compute a minimal denominator solution x\n to a system Ax=b, where b is an integer vector and A is an integer matrix\n with arbitrary shape and rank profile.\n\nIn addition, IML provides some low level routines for a variety of mod p matrix\noperations: computing the row-echelon form, determinant, rank profile, and\ninverse of a mod p matrix. These mod p routines are not general purpose; they\nrequire that p satisfy some preconditions based on the dimension of the input\nmatrix (usually p should be prime and should be no more than about 20 bits\nlong).\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/7sf76676yy5z8j6y0w23wkv48pqkw37d-iml-1.0.5.drv"},{"system":"x86_64-linux","target":"i586-pc-gnu","derivation":"/gnu/store/40ydnvc55c00f5p4b0znq2jidnabvl1r-iml-1.0.5.drv"},{"system":"x86_64-linux","target":"arm-linux-gnueabihf","derivation":"/gnu/store/cz86l2ldgm4gdbrq7gg2f6qiljgi4cl9-iml-1.0.5.drv"},{"system":"x86_64-linux","target":"aarch64-linux-gnu","derivation":"/gnu/store/91f3j6l8z32b5m496s8kp3b7kpp099r5-iml-1.0.5.drv"},{"system":"riscv64-linux","target":"","derivation":"/gnu/store/gnrvpgsn8k43bz3sn9jxdcdpg67vl3q7-iml-1.0.5.drv"},{"system":"powerpc-linux","target":"","derivation":"/gnu/store/2sq42mlb5b851f2zsr9mmz1d8ibd4l55-iml-1.0.5.drv"},{"system":"powerpc64le-linux","target":"","derivation":"/gnu/store/hx1h9asv73j7lga3whhf42x5i9v45iv3-iml-1.0.5.drv"},{"system":"mips64el-linux","target":"","derivation":"/gnu/store/ljkr8il0l7gj2lcaahckwsn1gw3s7n5g-iml-1.0.5.drv"},{"system":"i686-linux","target":"","derivation":"/gnu/store/yngcsrrmni999ahq9ckkjww7xnc08742-iml-1.0.5.drv"},{"system":"i586-gnu","target":"","derivation":"/gnu/store/l32a0l1hzyffwgaxnk06bln6rvxks3cr-iml-1.0.5.drv"},{"system":"armhf-linux","target":"","derivation":"/gnu/store/m1ir6xbj57i2z54ilrmnr3bn8raz3h9j-iml-1.0.5.drv"},{"system":"aarch64-linux","target":"","derivation":"/gnu/store/94dpnszbiqji34szymc5ligfwdslbss7-iml-1.0.5.drv"}]}