In-class work: Gaussian elimination