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.
