Given an augmented matrix in [[REF]] (or [[RREF]]), each column except the last column corresponds to a variable. These come in two types:

  * **leading variables** are variables whose column contains the leading entry of some row;
  * **free variables** are all the other variables.