1- // SPDX-FileCopyrightText: 2017 - 2025 The Ginkgo authors
1+ // SPDX-FileCopyrightText: 2017 - 2026 The Ginkgo authors
22//
33// SPDX-License-Identifier: BSD-3-Clause
44
@@ -34,19 +34,19 @@ enum class index_space {
3434 * disjoint subsets \f$I_k, k = 1, \dots, P\f$, this class defines for each
3535 * subset an extended global index set \f$\hat{I}_k \supset I_K\f$. The extended
3636 * index set contains the global indices owned by part \f$k\f$, as well as
37- * remote indices \f$R_k = \hat{I}_k \setminus I_k\f$, which are also accessed by
38- * part \f$k\f$, but owned by parts \f$l \neq k\f$.
39- * At the core, this class provides mappings from the global index space \f$I\f$
40- * into different local index spaces. The combined local index space
41- * (index_space::combined) is then defined as
37+ * remote indices \f$R_k = \hat{I}_k \setminus I_k\f$, which are also accessed
38+ * by part \f$k\f$, but owned by parts \f$l \neq k\f$. At the core, this class
39+ * provides mappings from the global index space \f$I\f$ into different local
40+ * index spaces. The combined local index space (index_space::combined) is then
41+ * defined as
4242 * $[0, \dots, |\hat{I}_k|)$. Additionally, the combined index space can be
4343 * separated into locally owned (index_space::local) and non-locally owned
4444 * (index_space::non_local). The locally owned indices are defined as
4545 * $[0, \dots, |I_k|)$, and the non-locally owned as $[0, \dots, |R_k|)$.
4646 * With these index sets, the following mappings are defined:
4747 *
48- * - \f$c_k : \hat{I}_k \mapsto [0, \dots, |\hat{I}_k|)\f$ which maps global indices
49- * into the combined/full local index space (denoted as
48+ * - \f$c_k : \hat{I}_k \mapsto [0, \dots, |\hat{I}_k|)\f$ which maps global
49+ * indices into the combined/full local index space (denoted as
5050 * index_space::combined),
5151 * - \f$l_k: I_k \mapsto [0, \dots, |I_k|)\f$ which maps global indices into the
5252 * locally owned index space (denoted as index_space::local),
@@ -57,9 +57,9 @@ enum class index_space {
5757 * index_space.
5858 *
5959 * The index map for \f$I_k\f$ has no knowledge about any other index maps for
60- * \f$I_l, l \neq k\f$. In particular, any global index passed to the `map_to_local`
61- * map that is not part of the specified index space, will be mapped to an
62- * invalid_index.
60+ * \f$I_l, l \neq k\f$. In particular, any global index passed to the
61+ * `map_to_local` map that is not part of the specified index space, will be
62+ * mapped to an invalid_index.
6363 *
6464 * \tparam LocalIndexType type for local indices
6565 * \tparam GlobalIndexType type for global indices
@@ -148,12 +148,13 @@ class index_map {
148148 * The indices are grouped by their owning rank and sorted according to
149149 * their global index within each group.
150150 *
151- * The set \f$R_k = \hat{I}_k \setminus I_k\f$ can also be written as the union
152- * of the intersection of \f$\hat{I}_k\f$ with other disjoint sets
151+ * The set \f$R_k = \hat{I}_k \setminus I_k\f$ can also be written as the
152+ * union of the intersection of \f$\hat{I}_k\f$ with other disjoint sets
153153 * \f$I_l, l \neq k\f$, i.e.
154154 * $R_k = \bigcup_{j \neq k} \hat{I}_k \cap I_j = \bigcup_{j \neq k}
155- * R_{k,j}$. The set \f$R_{k,j}\f$ can then be mapped by \f$l_j\f$ to get the local
156- * indices wrt. part \f$j\f$. The indices here are mapped by \f$l_j\f$.
155+ * R_{k,j}$. The set \f$R_{k,j}\f$ can then be mapped by \f$l_j\f$ to get
156+ * the local indices wrt. part \f$j\f$. The indices here are mapped by
157+ * \f$l_j\f$.
157158 */
158159 const segmented_array<LocalIndexType>& get_remote_local_idxs () const ;
159160
0 commit comments