Function Repository Resource:

# ConsistentAugmentedMatrixQ

Determine if a matrix represents a consistent system of linear equations

Contributed by: Peter Cullen Burbery
 ResourceFunction["ConsistentAugmentedMatrixQ"][matrix] returns True if matrix represents a consistent system of linear equations and returns False otherwise.

## Details

The function uses MatrixRank and the coefficient matrix to verify the rank of the coefficient matrix equals the rank of the augmented matrix.
The input should be an augmented matrix representing a system of linear equations.
The function is based on the Rouchè-Capelli theorem.

## Examples

### Basic Examples

Determine if an augmented matrix represents a consistent linear system of equations:

 In[1]:=
 Out[1]=

The reduced row echelon form contains a contradiction that 0x1+0x2+0x3=1 so the matrix is not consistent:

 In[2]:=
 Out[2]=

The solution set is empty. No solutions exist:

 In[3]:=
 Out[3]=
 In[4]:=
 In[5]:=
 Out[5]=

The following augmented matrix represents a consistent linear system:

 In[6]:=
 Out[6]=

Peter Burbery

## Version History

• 1.0.0 – 19 December 2022