从 DenseMatrix 中删除一系列行的最有效方法?

Most efficient way to remove a range of rows from a DenseMatrix?

我想删除 DenseMatrix(下面的 DM_a)中的行 M+1N,以生成另一个 DenseMatrix(DM_b)。像这样:

                               K
DM_a =   0 +-------------------+
           |                   |
           |                   |
           |                   |
         M |                   |
           |                   |
           |                   |
           |                   |
         N +-------------------+



                               K
DM_b =   0 +-------------------+
           |                   |
           |                   |
           |                   |
         M +-------------------+

最好(最有效)通过这样的切片来做到这一点:val DM_b = DM_a(0 to M, ::) 还是我应该将 padRight 映射到 DM_a 的每一列?

矩阵切片:

  DM_a(0 until M, ::)