code: @Nonnull
    public int [] getPivot ()
    {
      final int [] p = new int [m_nRows];
      for (int i = 0; i < m_nRows; i++)
        p[i] = m_aPivot[i];
      return p;
    }
docs: Return pivot permutation vector
  
  @return piv