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_smithunstable-enable

Availability

pre_smithunstable-enable

Transforms A into A' via transformations L, R such that L A R = A' and A' is diagonal.

solve_right_using_pre_smithunstable-enable

Availability