The Linsolve function is a placeholder for representing the solution x to the linear system .

The call Linsolve(A,b) mod n computes the solution vector b if it exists of the linear system  over a finite ring of characteristic n. This includes finite fields, , the integers mod p, and  where elements of  are expressed as polynomials in RootOfs.

If an optional third parameter r is specified, and it is a name, it is assigned the rank of the matrix A.

A linear system with an infinite set of solutions will be parameterized in terms of variables.  Maple uses the global names _t[1], _t[2], ...  are used by default.  If an optional fourth parameter t is specified, and it is a name, the names t[1], t[2], etc. will be used instead.