MPI_Group_range_incl(3) on Linux
The text 3c3e824dad29, as Debian 9 (Stretch) shipped it.
Creates a new group from ranges of ranks in an existing group
The text 3c3e824dad29, as Debian 9 (Stretch) shipped it.
Creates a new group from ranges of ranks in an existing group