Module linsolve

Modules

extension

Contains the algorithm for solving linear systems over free ring extensions.

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.

Enums

SolveResult

Result of trying to solve a linear system.

Traits

LinSolveRing

Class for rings over which we can solve linear systems.

LinSolveRingStore

RingStore corresponding to LinSolveRing.