Module smith

Contains the algorithm to compute the “pre-smith” form of a matrix, which is sufficient for solving linear systems. Works over all principal ideal rings.

Functions

• determinant_using_pre_smith
  Availability
• pre_smith
  Transforms A into A' via transformations L, R such that L A R = A' and A' is diagonal.
• solve_right_using_pre_smith
  Availability