switched to a more familiar form of the compressed_kalman algorithm