The (indexed) parameter F, which specifies the domain of computation, a field, must be a Maple table/module which has the following values/exports:

F[`0`]: a constant for the zero of the ring F

F[`1`]: a constant for the (multiplicative) identity of F

F[`+`]: a procedure for adding elements of F (nary)

F[`-`]: a procedure for negating and subtracting elements of F (unary and binary)

F[`*`]: a procedure for multiplying two elements of F (commutative)

F[`/`]: a procedure for dividing two elements of F

F[`=`]: a boolean procedure for testing if two elements in F are equal

If the linear system A x = b is consistent, LinearSolve[F](A,b) returns (v,B) where v is Vector and B = [b1,b2,...,] is a list of Vectors. The solutions of the system are the Vectors { x + a1 b1 + a2 b2 + ... } for a1, a2, ... in F. Thus v is a particular solution, and B is a basis for the solutions of A x = 0. If the dimension of the solution space is 0 then B will be the empty list.

If the optional argument output=[...] is present, it specifies what values are returned, and in what order. The keywords in the output options may be any of solution, basis, or dimension, in any order. The default output format corresponds to output=[solution,basis] meaning a particular solution and a basis for the solutions of A x = b is output. If output=[solution] is specified, the output is a single Vector of solutions in terms of parameters. The parameter names may be specified by the optional argument free=t described below. By default, the names _t[1], _t[2], ... are used.

If free=t is specified, where t is a symbol or list of names, the solution(s) are returned as a single Vector of values parameterized by t[1], t[2], ..., t[d]. Note, this option is only available when the output=[solution] option is also specified.