MatrixInverse(A) computes the matrix inverse of the Matrix A over the field F.

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