Port to make the tableau an array of vectors to simplify row arithmetic