Methods are known for the exact computation of the solution of integer systems of linear equations <italic>AX</italic> = <italic>B</italic> with a nonsingular coefficient matrix <italic>A</italic> by congruence techniques. These methods are now generalized for systems with an arbitrary integer coefficient matrix <italic>A</italic>. To make congruence… (More)
This package complements [l], where the algorithmic and mathematical details are given. REFERENCE 1. SPRINGER, J. Exact solution of general integer systems of linear equations. ACM 2'ran.s. Math.