Finds solutions to systems of linear equations over integers
Description
IML provides efficient routines to compute exact solutions to dense
systems of linear equations over the integers. The following
functionality is provided:
- Nonsingular rational system solving.
- Compute the right nullspace of an integer matrix.
- Certified linear system solving.
