Gaussian Elimination Over a Field