public double GetRHS(int row) { if (row == -1) { return(double.PositiveInfinity); } return(lp.GetRHS(row) / arraySet.rowScale[row]); }