The Row implementation has no been replaced by RowVector and ReducedRowVector. A...

The Row implementation has no been replaced by RowVector and ReducedRowVector.  A RowVector is an array of ArithVar and Rational pairs. (This replaces a map based implementation in Row.) ReducedRowVector is a RowVector with a notion of having a basic variable.  The Tableau is now a collection of ReduceRowVector's.  A major difference between ReducedRowVectors and Rows is that the iterator now includes the basic variable and its coefficient (always -1). Before only nonbasic members were accessible by the iterator.