code: @Nonnull
    public double [] getDoublePivot ()
    {
      final double [] vals = new double [m_nRows];
      for (int i = 0; i < m_nRows; i++)
        vals[i] = m_aPivot[i];
      return vals;
    }
docs: Return pivot permutation vector as a one-dimensional double array
  
  @return (double) piv