Finds solutions to systems of linear equations over integers
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.