Algorithm 209: Gauss